# Holger Thies

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.

## Research Interests

- Computability and Complexity in Analysis
- Validated Numerics
- Algorithms for Exact Real Arithmetic
- Ordinary Differential Equations

## People

- Junhee Cho
- Akitoshi Kawamura (Prof. Dr.)
- Norbert Müller (Prof. Dr.)
- Sewon Park
- Florian Steinberg
- Martin Ziegler (Prof. Dr.)

## Places

## Education

University of Tokyo

Ph.D. in Computer Science
09/2015 - ongoing

Darmstadt University of Technology

MSc. in Mathematics
04/2013 - 04/2015

University of Tokyo

Exchange Research Student in Computer Science
10/2013 - 03/2014

University of Oslo

Exchange Student in Mathematics
08/2011 - 06/2012

Darmstadt University of Technology

BSc. in Mathematics
10/2009 - 04/2013

Darmstadt University of Technology

BSc. in Computer Science
10/2008 - 10/2011

## Conference Talks

#### Workshop on Mathematical Logic and its Applications

Talk: Analytic Functions and Small Complexity Classes

#### The 19th Japan-Korea Joint Workshop on Algorithms and Computation

Talk: Data-types for Multidimensional Functions in Reliable Numerics - Implementations Inspired by Real Complexity Theory

#### Thirteenth International Conference on Computability and Complexity in Analysis

Talk: Analytic Functions and Small Complexity Classes

#### Mathematics for Computation

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

#### PhDs in Logic VIII

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

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

Talk: Analytic continuation in iRRAM

#### Continuity, Computability, Constructivity

Talk: Analytic functions in iRRAM

#### Eleventh International Conference on Computability and Complexity in Analysis

Talk: Analytic functions in iRRAM