# 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 (Dr.)
- Martin Ziegler (Prof. Dr.)

## Places

## Education

## 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

## Projects

#### Analytic Functions and Ordinary Differential Equations in iRRAM

An extension of the iRRAM C++ framework by general data-types for analytic functions and for solving initial value problems for ordinary differential equations with analytic right-hand side