Prof. Dr. Michael Kohlhase
c/o Department InformatikProfessur für Wissensrepräsentation und -verarbeitung