Rchr
J-GLOBAL ID:201901005618652421
Update date: Jan. 30, 2024
HOLGER THIES
ティース ホルガー | HOLGER THIES
Affiliation and department:
Job title:
Program-Specific Lecturer
Homepage URL (1):
http://www.holgerthies.com
Research field (1):
Information theory
Research theme for competitive and other funds (1):
- 2018 - 2020 Towards efficient solvers for ordinary differential equations in exact real arithmetic
Papers (16):
-
Michal Konecný, Sewon Park 0001, Holger Thies. Formalizing Hyperspaces for Extracting Efficient Exact Real Computation. MFCS. 2023. 59-16
-
Michal Konecný, Sewon Park 0001, Holger Thies. Extracting efficient exact real number computation from proofs in constructive type theory. CoRR. 2022. abs/2202.00891
-
Michal Konečný, Sewon Park, Holger Thies. Certified Computation of Nondeterministic Limits. NASA Formal Methods - 14th International Symposium(NFM). 2022. 771-789
-
Michal Konecný, Sewon Park 0001, Holger Thies. Axiomatic Reals and Certified Efficient Exact Real Computation. Logic, Language, Information, and Computation - 27th International Workshop(WoLLIC). 2021. 252-268
-
Svetlana Selivanova, Florian Steinberg 0001, Holger Thies, Martin Ziegler 0001. Exact Real Computation of Solution Operators for Linear Analytic Systems of Partial Differential Equations. Computer Algebra in Scientific Computing - 23rd International Workshop(CASC). 2021. 370-390
more...
Education (4):
- 2015 - 2018 The University of Tokyo Graduate Schools of Arts and Science PhD. in Interdisciplinary Science
- 2013 - 2015 Darmstadt University of Technology Mathematics Master of Science
- 2009 - 2013 Darmstadt University of Technology Mathematics Bachelor of Science
- 2008 - 2011 Darmstadt University of Technology Computer Science Bachelor of Science
Professional career (1):
Work history (5):
- 2021/04 - 現在 Kyoto University Graduate School of Human and Environmental Studies Program-Specific Lecturer
- 2019/05 - 2021/04 Kyushu University Department of Informatics Assistant Professor
- 2018/09 - 2019/04 Japan Society for the Promotion of Science (JSPS) Postdoctoral fellow (PD)
- 2018/04 - 2018/08 Japan Society for the Promotion of Science (JSPS) Doctoral fellow (DC 2)
- 2015/04 - 2015/08 Darmstadt University of Technology Department of Mathematics Researcher
Return to Previous Page