Holger Thies is a German mathematician. He is a lecturer at Kyoto University, Japan. His research includes topics in constructive analysis, computable analysis, type theory, and exact real computation programming.
* Holger Thies homepage