Elbl-Infos

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