Arbeitsbereich Informatik
Jun.-Prof. Dr.-Ing. Maribel Acosta
Jun.-Prof. Dr.-Ing. Steffen Bondorf
Prof. Dr. Maike Buchin
Prof. Dr. Asja Fischer
Prof. Dr. Thomas Zeume
Datenbanken und Informationssysteme
Verteilte und Vernetzte Systeme
Theoretische Informatik, insbes. Algorithmik
Maschinelles Lernen
Logik und Formale Verifikation
Formale Sprachen und Programmiersprachen
Interdisziplinäre Themen von Informatik und Linguistik
Mathematik/Informatik, insbes. Theoretische Informatik