Mathematische Logik und Theoretische Informatik

Detaillierte Informationen zu diesem Studienschwerpunkt finden sich auf den Seiten des Kurt Gödel Research Center (auf Englisch).