Prof. Dr. Mila Majster-Cederbaum
Software and Computational Systems Lab

Institute for Informatics

LMU Munich

Oettingenstraße 67
80538 Munich (Germany)

Office: Room 056, Oettingenstr. 67
Phone: +49 89 2180-9312
Fax: +49 89 2180-9175
Email: mcb @ sosy.ifi.lmu.de
Foto of Prof. Dr. Mila Majster-Cederbaum
Points of Research
  • Principles of programming languages
  • Specification and verification of reactive systems
  • Bioinformatics