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 |
