User:Kohlhase

I am Michael Kohlhase, a Professor of Computer Science at Jacobs University and the head of the KWARC research group. I have initiated mathweb.org, you can find out more about me on my home page.