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

Holger Thies

info@holgerthies.com
public PGP key

People

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

Selected Conference Talks (Show All)

Computability in Europe 2017

Talk: Average Case Complexity for the N-body problem
Slides:

June 2017
Turku, Finland
CiE 2017

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
Slides:

August 2016
Hakodate, Japan
WAAC 2016

Thirteenth International Conference on Computability and Complexity in Analysis

Talk: Analytic Functions and Small Complexity Classes
Slides:

June 2016
Faro, Portugal
CCA 2016

Mathematics for Computation

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

May 2016
Lower Bavaria, Germany
M4C

Eleventh International Conference on Computability and Complexity in Analysis

Talk: Analytic functions in iRRAM

July 2014
Darmstadt, Germany
CCA 2014

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

Project Page