Holger Thies

I am a postdoctoral researcher (JSPS Research Fellow PD) at the Department of Informatics, Kyushu University. I recently graduated with a PhD from the University of Tokyo, Graduate School of Arts and Sciences. My supervisor was Akitoshi Kawamura.

Research Interests

Holger Thies

info@holgerthies.com
public PGP key

People

Places


Publications

Akitoshi Kawamura, Holger Thies, Martin Ziegler: Average-case polynomial-time computability of Hamiltonian dynamics, Mathematical Foundations of Computer Science (MFCS) 2018. LIPIcs-Leibniz International Proceedings in Informatics. Vol. 117. Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2018
Akitoshi Kawamura, Florian Steinberg, Holger Thies: Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving, International Workshop on Logic, Language, Information, and Computation. Springer, Berlin, Heidelberg, 2018.

Education

University of Tokyo
Ph.D. in Computer Science
09/2015 - 09/2018
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