Search for faculty members
Thies, Holger
Graduate School of Human and Environmental Studies, Department of Mathematical and Information Sciences Associate Professor
list
Last Updated :2026/01/20
Basic Information
Faculty
Academic Degree
Research History
- From Apr. 2021, To PresentKyoto University, Graduate School of Human and Environmental Studies, Program-Specific Lecturer
- From May 2019, To Apr. 2021Kyushu University, Department of Informatics, Assistant Professor
- From Sep. 2018, To Apr. 2019Japan Society for the Promotion of Science (JSPS), Postdoctoral fellow (PD)
- From Apr. 2018, To Aug. 2018Japan Society for the Promotion of Science (JSPS), Doctoral fellow (DC 2)
- From Apr. 2015, To Aug. 2015Darmstadt University of Technology, Department of Mathematics, Researcher
Language of Instruction
ID,URL
J-Global ID
External link
researchmap URL
list
Last Updated :2026/01/20
Research
Research Areas
Papers
- Computable Analysis for Extraction of Certified Programs and Its ApplicationsHolger Thies2025
- A Coq Formalization of Taylor Models and Power Series for Solving Ordinary Differential Equations.Sewon Park 0001; Holger ThiesITP, 2024
- Formalizing Hyperspaces for Extracting Efficient Exact Real Computation.Michal Konecný; Sewon Park 0001; Holger ThiesMFCS, 2023
- Extracting efficient exact real number computation from proofs in constructive type theory.Michal Konecný; Sewon Park 0001; Holger ThiesCoRR, 2022
- Certified Computation of Nondeterministic LimitsMichal Konečný; Sewon Park; Holger ThiesNASA Formal Methods - 14th International Symposium(NFM), 2022
- Axiomatic Reals and Certified Efficient Exact Real Computation.Michal Konecný; Sewon Park 0001; Holger ThiesLogic, Language, Information, and Computation - 27th International Workshop(WoLLIC), 2021
- Exact Real Computation of Solution Operators for Linear Analytic Systems of Partial Differential Equations.Svetlana Selivanova; Florian Steinberg 0001; Holger Thies; Martin Ziegler 0001Computer Algebra in Scientific Computing - 23rd International Workshop(CASC), 2021
- Computable analysis and notions of continuity in Coq.Florian Steinberg 0001; Laurent Théry; Holger ThiesLog. Methods Comput. Sci., 2021
- Continuous and monotone machines.Michal Konecný; Florian Steinberg 0001; Holger ThiesCoRR, 2020
- Computable Analysis for Verified Exact Real Computation.Michal Konecný; Florian Steinberg 0001; Holger Thies40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science(FSTTCS), 2020
- Continuous and Monotone Machines.Michal Konecný; Florian Steinberg 0001; Holger ThiesLeibniz International Proceedings in Informatics, LIPIcs, 2020
- Quantitative continuity and computable analysis in Coq.Florian Steinberg 0001; Laurent Théry; Holger ThiesCoRR, 2019
- Second-Order Linear-Time Computability with Applications to Computable Analysis.Akitoshi Kawamura; Florian Steinberg 0001; Holger ThiesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, Peer-reviewed
- Quantitative Continuity and Computable Analysis in Coq.Florian Steinberg 0001; Laurent Théry; Holger ThiesLeibniz International Proceedings in Informatics, LIPIcs, 2019, Peer-reviewed
- Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving.Akitoshi Kawamura; Florian Steinberg 0001; Holger ThiesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, Peer-reviewed
- Average-Case Polynomial-Time Computability of Hamiltonian Dynamics.Akitoshi Kawamura; Holger Thies; Martin Ziegler 0001Leibniz International Proceedings in Informatics, LIPIcs, 2018, Peer-reviewed
- Analytic functions and small complexity classesFlorian Steinberg; Holger ThiesCCA 2016 - 13th International Conference on Computability and Complexity in Analysis - Proceedings, 2016
- Analytic functions in IrRAMAkitoshi Kawamura; Florian Steinberg; Holger ThiesCCA 2014 - 11th International Conference on Computability and Complexity in Analysis, Proceedings, 2014
External funds: Kakenhi
- Computational complexity and practice of verified and efficient algorithms for dynamical systemsGrant-in-Aid for Early-Career ScientistsBasic Section 60010:Theory of informatics-relatedKyoto University;Kyushu UniversityTHIES HOLGERFrom 01 Apr. 2020, To 31 Mar. 2025, Project ClosedComputable Analysis;Exact Real Computation;Complexity Theory;Formal Verification;Formal Proofs;Type Theory;ODEs;Program Extraction;Spaces of subsets;Proof Assistants;計算可能解析学;計算量;計算機援用証明;実数計算;Computable analysis;Differential equations;Verification;Formal proofs
- 連続な空間上の計算とその複雑さの研究Grant-in-Aid for Scientific Research (B)Basic Section 60010:Theory of informatics-relatedKyoto University立木 秀樹From 01 Apr. 2023, To 31 Mar. 2028, Granted計算可能解析学;厳密実数計算;計算複雑さ;プログラム抽出
- Research on Computable Analysis and Verification of Efficient Exact Real ComputationGrant-in-Aid for Early-Career ScientistsBasic Section 60010:Theory of informatics-relatedKyoto UniversityTHIES HOLGERFrom 01 Apr. 2024, To 31 Mar. 2029, GrantedFormal Verification;Computable Analysis;Coq;Exact Real Computation;計算可能解析学;微分方程式;精度保証付き数値計算;計算機援用証明
- 連続な空間上の計算とその複雑さの研究Grant-in-Aid for Scientific Research (B)Basic Section 60010:Theory of informatics-relatedKyoto University立木 秀樹From 01 Apr. 2024, To 31 Mar. 2028, Granted計算可能解析学;厳密実数計算;計算複雑さ;プログラム抽出
list
Last Updated :2026/01/20
Education
Teaching subject(s)
- From 01 Apr. 2025, To 31 Mar. 2026ILAS Seminar-E2Z002, Spring, Institute for Liberal Arts and Sciences, 2
- From 01 Apr. 2025, To 31 Mar. 2026Fundamentals for Transdisciplinary Research 1M226, Spring, Institute for Liberal Arts and Sciences, 2
- From 01 Apr. 2025, To 31 Mar. 2026Programming Practice (Python) -E2T063, Spring, Institute for Liberal Arts and Sciences, 2
- From 01 Apr. 2025, To 31 Mar. 2026Programming Practice (Python) -E2T063, Fall, Institute for Liberal Arts and Sciences, 2
- From 01 Apr. 2025, To 31 Mar. 2026Information Network-E2T019, Fall, Institute for Liberal Arts and Sciences, 2
- From 01 Apr. 2025, To 31 Mar. 2026Introductory Seminar : Introduction to Logic, Proofs and Programs8474, Spring, Faculty of Integrated Human Studies, 2
- From 01 Apr. 2025, To 31 Mar. 2026Introduction to Mathematical and Information Sciences0060, Spring, Faculty of Integrated Human Studies, 2
- From 01 Apr. 2025, To 31 Mar. 2026Fundamentals for Transdisciplinary Research 1KK02, Spring, Graduate School of Human and Environmental Studies, 2
- From 01 Apr. 2024, To 31 Mar. 2025Programming Practice (Python) -E2T063, Spring, Institute for Liberal Arts and Sciences, 2
- From 01 Apr. 2024, To 31 Mar. 2025Programming Practice (Python) -E2T063, Fall, Institute for Liberal Arts and Sciences, 2
- From 01 Apr. 2024, To 31 Mar. 2025Information Network-E2T019, Fall, Institute for Liberal Arts and Sciences, 2
- From 01 Apr. 2024, To 31 Mar. 2025ILAS Seminar-E2Z002, Spring, Institute for Liberal Arts and Sciences, 2
- From 01 Apr. 2024, To 31 Mar. 2025Introductory Seminar : Introduction to Logic, Proofs and Programs8474, Spring, Faculty of Integrated Human Studies, 2
- From 01 Apr. 2024, To 31 Mar. 2025Computational Theory8208, Spring, Faculty of Integrated Human Studies, 2
- From 01 Apr. 2024, To 31 Mar. 2025Introduction to Mathematical and Information Sciences0060, Spring, Faculty of Integrated Human Studies, 2
- From 01 Apr. 2024, To 31 Mar. 2025Fundamentals for Transdisciplinary Research 1KK02, Spring, Graduate School of Human and Environmental Studies, 2
- From 01 Apr. 2024, To 31 Mar. 2025Foundation of Computation 1AA21, Spring, Graduate School of Human and Environmental Studies, 2
- From 01 Apr. 2023, To 31 Mar. 2024ILAS Seminar-E2Z002, Spring, Institute for Liberal Arts and Sciences, 2
- From 01 Apr. 2023, To 31 Mar. 2024Programming Practice (Python) -E2T063, Spring, Institute for Liberal Arts and Sciences, 2
- From 01 Apr. 2023, To 31 Mar. 2024Programming Practice (Python) -E2T063, Fall, Institute for Liberal Arts and Sciences, 2
- From 01 Apr. 2023, To 31 Mar. 2024Information Network-E2T019, Fall, Institute for Liberal Arts and Sciences, 2
- From 01 Apr. 2023, To 31 Mar. 2024Introductory Seminar : Introduction to Logic, Proofs and Programs8474, Spring, Faculty of Integrated Human Studies, 2
- From 01 Apr. 2023, To 31 Mar. 2024Introduction to Mathematical Information Science0057, Spring, Faculty of Integrated Human Studies, 2
- From 01 Apr. 2023, To 31 Mar. 2024Fundamentals for Transdisciplinary Research 1KK02, Spring, Graduate School of Human and Environmental Studies, 2
- From 01 Apr. 2022, To 31 Mar. 2023Programming Practice (Python) -E2T063, Fall, Institute for Liberal Arts and Sciences, 2
- From 01 Apr. 2022, To 31 Mar. 2023Programming Practice (Python) -E2T063, Spring, Institute for Liberal Arts and Sciences, 2
- From 01 Apr. 2022, To 31 Mar. 2023Introductory Seminar : Introduction to Logic, Proofs and Programs8474, Spring, Faculty of Integrated Human Studies, 2
- From 01 Apr. 2022, To 31 Mar. 2023Introduction to Mathematical Information Science0057, Spring, Faculty of Integrated Human Studies, 2
- From 01 Apr. 2022, To 31 Mar. 2023Information Network-E2T019, Fall, Institute for Liberal Arts and Sciences, 2
- From 01 Apr. 2022, To 31 Mar. 2023ILAS Seminar-E2Z002, Spring, Institute for Liberal Arts and Sciences, 2
