Welcome!

Thank you for visiting my homepage.
I am a Ph.D. student at The University of Tokyo, Graduate School of Arts and Sciences.
My supervisor is Akitoshi Kawamura.
Previously, I did my bachelor in Mathematics and Computer Science as well as my master in Mathematics at Darmstadt University of Technology, supervised by Martin Ziegler. During my undergraduate and graduate education I have also spent some time at The University of Oslo and The University of Tokyo.

Research Interests

I work in the area of Computable Analysis. In particular, my research is about efficient algorithms for real number computations and their practical implementation. In a broader sense, I am also interested in the following topics:
  • Complexity Theory
  • Algorithms and Data Structures
  • Machine Learning
  • Applications of mathematics in computer science in general

Supervisors/Collaborators

Akitoshi Kawamura (Ph.D.)
Norbert Müller (Prof. Dr.)
Christoph Spandl (Dr.)
Florian Steinberg (Dipl.-Math.)
Martin Ziegler (Prof. Dr.)

Conference Talks

Thirteenth International Conference on Computability and Complexity in Analysis

Talk: Analytic Functions and Small Complexity Classes

June, 2016
Faro, Portugal
CCA 2016

Mathematics for Computation

Talk: Analytic Functions and Ordinary Differential Equations in Exact Real Arithmetic

May 2016
Lower Bavaria, Germany
M4C

PhDs in Logic VIII

Talk: On data-types for multidimensional functions in Exact Real Arithmetic

May 2016
Darmstadt, Germany
PhDs in Logic 2016

69. Workshop über Algorithmen und Komplexität (Theorietag)

Talk: Analytic continuation in iRRAM

May 2015
Illmenau, Germany
Theorietag 2015

Continuity, Computability, Constructivity

Talk: Analytic functions in iRRAM

September 2014
Ljubljana, Slovenia
CCC 2014

Eleventh International Conference on Computability and Complexity in Analysis

Talk: Analytic functions in iRRAM

July 2014
Darmstadt, Germany
CCA 2014
Holger Thies

Social


info@holgerthies.com
public PGP key