教育研究活動データベース

日本語に切り替えるswitch to english

THIES Holger

ティース ホルガー

人間・環境学研究科 共生人間学専攻数理科学講座 特定講師

THIES Holger
list
    Last Updated :2022/05/14

    基本情報

    学部兼担

    • 国際高等教育院
    • 総合人間学部

    学位

    • 博士(学術)(東京大学)
    • 修士(数学)(ダルムシュタット工科大学)

    経歴

    • 自 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

    使用言語

    • 日本語
    • 英語

    ID,URL

    researchmap URL

    list
      Last Updated :2022/05/14

      研究

      研究分野

      • 情報通信, 情報学基礎論

      論文

      • Computable analysis and notions of continuity in Coq.
        Florian Steinberg 0001; Laurent Théry; Holger Thies
        Log. Methods Comput. Sci., 2021年
      • Continuous and monotone machines.
        Michal Konecný; Florian Steinberg 0001; Holger Thies
        CoRR, 2020年
      • Computable Analysis for Verified Exact Real Computation.
        Michal Konecný; Florian Steinberg 0001; Holger Thies
        40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science(FSTTCS), 2020年
      • Continuous and Monotone Machines.
        Michal Konecný; Florian Steinberg 0001; Holger Thies
        Leibniz International Proceedings in Informatics, LIPIcs, 2020年
      • Quantitative continuity and computable analysis in Coq.
        Florian Steinberg 0001; Laurent Théry; Holger Thies
        CoRR, 2019年
      • Second-Order Linear-Time Computability with Applications to Computable Analysis.
        Akitoshi Kawamura; Florian Steinberg 0001; Holger Thies
        Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019年, 査読有り
      • Quantitative Continuity and Computable Analysis in Coq.
        Florian Steinberg 0001; Laurent Théry; Holger Thies
        Leibniz International Proceedings in Informatics, LIPIcs, 2019年, 査読有り
      • Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving.
        Akitoshi Kawamura; Florian Steinberg 0001; Holger Thies
        Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018年, 査読有り
      • Average-Case Polynomial-Time Computability of Hamiltonian Dynamics.
        Akitoshi Kawamura; Holger Thies; Martin Ziegler 0001
        Leibniz International Proceedings in Informatics, LIPIcs, 2018年, 査読有り
      • Analytic functions and small complexity classes
        Florian Steinberg; Holger Thies
        CCA 2016 - 13th International Conference on Computability and Complexity in Analysis - Proceedings, 2016年
      • Analytic functions in IrRAM
        Akitoshi Kawamura; Florian Steinberg; Holger Thies
        CCA 2014 - 11th International Conference on Computability and Complexity in Analysis, Proceedings, 2014年

      外部資金:科学研究費補助金

      • Computational complexity and practice of verified and efficient algorithms for dynamical systems
        若手研究
        小区分60010:情報学基礎論関連
        九州大学
        THIES HOLGER
        自 2020年04月01日, 至 2024年03月31日, 交付
        計算可能解析学;計算量;計算機援用証明;実数計算;Computable analysis;Differential equations;Verification;Formal proofs;Complexity Theory

      ページ上部へ戻る