Department/Division Human and Environmental Studies/Mathematical and Information Sciences
Undergraduate School Division of Cognitive and Information Sciences
Other Affiliation
Email thies.holger.5c "(_at_)"kyoto-u.ac.jp    (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
Themes
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
Background
人間・環境学研究科パンフレット
日本語