Birgit Elbl

Wissenschaftliche Interessen:

Strukturelle Beweistheorie,
Logik in der Informatik,
Semantik von Programmiersprachen,
Formale Methoden: Spezifikation und Verifikation

Lehre:

Regelmäßig Lehrveranstaltungen zu den Gebieten

Mathematische Grundlagen
Formale Sprachen und Automaten
Logik
Formale Methoden

Genaueres siehe Liste der aktuellen Kurse oder Vollständige Veranstaltungsliste