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

Conference Talks

Workshop on Mathematical Logic and its Applications

Talk: Analytic Functions and Small Complexity Classes

September 2016
Kyoto, Japan
Core2Core 2016

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

August 2016
Hakodate, Japan
WAAC 2016

Thirteenth International Conference on Computability and Complexity in Analysis

Talk: Analytic Functions and Small Complexity Classes

June 2016
Faro, Portugal
CCA 2016

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

May 2016
Darmstadt, Germany
PhDs in Logic

69. Workshop über Algorithmen und Komplexität (Theorietag)

Talk: Analytic continuation in iRRAM

May 2015
Ilmenau, Germany
Theorietag 2015

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

July 2014
Darmstadt, Germany
CCA 2014