Arbeitsbereich Informatik



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