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 (DBLP)

Akitoshi Kawamura, Holger Thies, Martin Ziegler: Average-case polynomial-time computability of Hamiltonian dynamics. In Proc. of the 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), August 27-31, 2018, Liverpool, UK., LIPIcs-Leibniz International Proceedings in Informatics. Vol. 117. Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 30:1-30:17, 2018.
Akitoshi Kawamura, Florian Steinberg, Holger Thies: Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving. In Proc. of the 25th International Workshop on Logic, Language, Information, and Computation (WoLLIC 2018), July 24-27, 2018, Bogota, Colombia, Lecture Notes in Computer Science (LNCS) 10944, Springer, Berlin, Heidelberg, 223-236, 2018.
Akitoshi Kawamura, Florian Steinberg, Holger Thies: Second-order linear-time computability with applications to computable analysis. In Proc. of the 15th Annual Conference on Theory and Applications of Models of Computation (TAMC 2019), April 13-16, 2019, Kitakyushu, Japan, Lecture Notes in Computer Science (LNCS) 11436, Springer, Berlin, Heidelberg, Chapter 21, 2019.

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)

Third Workshop on Mathematical Logic and its Applications

Talk: Some formal proofs of isomorphy and discontinuity

March 2019
Nancy, France
MLA2019

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