Prof. Dr. Gunther Schmidt

 

Institute for Software Technology
Fakultät für Informatik
Universität der Bundeswehr München
Full Address: 85577 Neubiberg, Germany
Phone: +49-170-7-361626
eMail: Gunther.Schmidt@UniBw.DE

Bibliography


Research Interests

  • Formal Methods in Software Engineering
  • Semantics of Programming Languages
  • Relational Methods in Computer Science
  • Graph Theory in Computer Science
  • Relational Mathematics
  • Member of the Editorial Board of the
    Electronic Journal on Relational Methods
    in Computer Science - JoRMiCS