THIES, Holger Program-Specific Lecturer
Graduate School | Human and Environmental Studies/Mathematical and Information Sciences |
---|---|
Undergraduate School | Mathematical and Information Sciences (Division of Cognitive and Information Sciences) |
Other Affiliation | |
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 |
|
Background |