Prof. Dr. Matthias Guedemann

Fakultaet 07
Raum: R 4.019
Adresse: 80335 MÜNCHEN, Lothstr. 64

T +49 89 1265-3752
F +49 89 1265-3780

E-Mail

Details

Fach- und Aufgabenbereiche

Lehrgebiete
Formale Methoden in der Informatik, Formale Spezifikation, Formale Verifikation, Modelchecking

Funktion

  • Internationalisierungsbeauftragter

Lehrgebiet und Forschungsinteresse
verifikation modellprüfen SMT SAT, Theoretische Informatik

Weitere Informationen

Webpage

mgu.cs.hm.edu