Prof. Dr. Matthias Güdemann
![](https://mediapool.hm.edu/media/fk07/fk07_lokal/diefakultt_4/ansprechpartner_2/professoren_1/guedemann/jbfoto_HM_FK07_Matthias_4953_finweb_portrait_m.jpg)
Fakultaet 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