Mein(e) Ansprechpartner/-in

Prof. Dr. Matthias Güdemann

Prof. Dr. Matthias Güdemann
Fakultaet 07
Raum: R 4.033
Adresse: 80335 München, Lothstr. 64


Fakultät 07
Tel.: 089 1265-3752
Fax: 089 1265-3780

Fachgebiete / Schwerpunkte

  • Formale Methoden in der Informatik
  • Formale Spezifikation
  • Formale Verifikation
  • Modelchecking