Prof. Dr. Michael Kohlhase
Technische FakultätDepartment Informatik, Professur für Wissensrepräsentation und -verarbeitung