Graduate School Human and Environmental Studies/Mathematical and Information Sciences
Undergraduate School Mathematical and Information Sciences (Division of Cognitive and Information Sciences)
Other Affiliation
Email thies.holger.5c "(_at_)"    (replace "(_at_)" with at-sign)
Personal Page Website
Until 2023, the undergraduate school had five divisions. 'Division' provided above refers to the faculty member's former affiliation.
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
人間・環境学研究科パンフレット 総合人間学部パンフレット