Rchr
J-GLOBAL ID：201901005618652421
Update date: Sep. 05, 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 (3)：
- 2024 - 2028 連続な空間上の計算とその複雑さの研究
- 2023 - 2028 連続な空間上の計算とその複雑さの研究
- 2018 - 2020 Towards efficient solvers for ordinary differential equations in exact real arithmetic
Papers (17)：
-
Sewon Park 0001, Holger Thies. A Coq Formalization of Taylor Models and Power Series for Solving Ordinary Differential Equations. ITP. 2024. 30-19
-
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
ｍore...
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
