Prof. Dr. Matthias Güdemann
Fakultät 07
Raum: R 4.019
Adresse: 80335 München, Lothstr. 64
T +49 89 1265-3752
F +49 89 1265-3780
Details
- Fach- und Aufgabenbereiche
-
Lehrgebiete
Formale Methoden in der Informatik, Formale Spezifikation, Formale Verifikation, ModelcheckingFunktion
- Internationalisierungsbeauftragter
- Lehrgebiet und Forschungsinteresse
- verifikation modellprüfen SMT SAT, Theoretische Informatik
Weitere Informationen