Michael Kohlhase
From semanticweb.org
Michael Kohlhase is a professor for computer science at Jacobs University Bremen. He is interested in semantics and mathematical knowledge management.
