Graduate School Department /Course /Field Human Coexistence/Mathematical Science/Mathematical Informatics
Undergraduate School Division of Cognitive and Information Sciences
Other Affiliation
Email thies.holger.5c "(_at_)"    (replace "(_at_)" with at-sign)
Personal Page Website
Research areas Theory of Computation, Computational Complexity, Mathematical Logic and Applications
Keywords Computable Analysis, Real Number Computation, Algorithms, Verified Numerics, Program Verification
Major publications
Professional societies/Research and synergic activities
Teaching Areas
  • Undergraduate courses
  • Graduate courses (Master's program)
  • Graduate courses (Doctor's program)
  • Undergraduate courses open to all departments
KYOTO UNIVERSITY 125th 国際ガラス年 2022 新型コロナウイルスへの対応について