研究者
J-GLOBAL ID：201901005618652421
更新日: 2024年09月05日
THIES HOLGER
ティース ホルガー | HOLGER THIES
所属機関・部署：
職名：
特定講師
ホームページURL (1件)：
http://www.holgerthies.com
競争的資金等の研究課題 (3件)：
- 2024 - 2028 連続な空間上の計算とその複雑さの研究
- 2023 - 2028 連続な空間上の計算とその複雑さの研究
- 2018 - 2020 常微分方程式の完全精度解法の高速な実装に向けて
論文 (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
もっと見る
学歴 (4件)：
- 2015 - 2018 東京大学 総合文化研究科 広域科学専攻 博士課程
- 2013 - 2015 ダルムシュタット工科大学 Mathematics Master of Science
- 2009 - 2013 ダルムシュタット工科大学 Mathematics Bachelor of Science
- 2008 - 2011 ダルムシュタット工科大学 Computer Science Bachelor of Science
学位 (1件)：
経歴 (5件)：
- 2021/04 - 現在 京都大学 大学院人間・環境学研究科 特定講師
- 2019/05 - 2021/04 九州大学 システム情報科学研究院 助教
- 2018/09 - 2019/04 日本学術振興会 特別研究員 (PD)
- 2018/04 - 2018/08 日本学術振興会 特別研究員 (DC 2)
- 2015/04 - 2015/08 ダルムシュタット工科大学 Department of Mathematics Researcher
前のページに戻る
