====== Holger Thies ======

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.

===== External Links =====

* [[http://holgerthies.com/ | Holger Thies homepage]]