
Prof. Dr. Michael Kohlhase
Department of Informatics, Knowledge Representation/Processing (Computer Science)
Adjunct associate professor for Computer Science at Carnegie Mellon University
Main Research Areas
