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

## Conference Talks

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

May 2016

Lower Bavaria, Germany

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

September 2014

Ljubljana, Slovenia

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

Talk: Analytic functions in iRRAM