These are the archived web pages of the Programming and Software Engineering Group (PST).
The web pages of the Software and Computational Systems Lab (SoSy) can be found on https://www.sosy-lab.org/.

Prof. Dr. Mila Majster-Cederbaum

Prof. Dr. Mila Majster-Cederbaum

Points of Research

  • Principles of Programming Languages
  • Specification and verification of reactive systems
  • Bioinformatics

Department

Programmierung und Softwaretechnik
Institut für Informatik
Ludwig-Maximilians-Universität München

Office

Oettingenstr. 67, Raum 056

Address

Institut für Informatik 
Ludwig-Maximilians-Universität München 
Oettingenstr. 67 
D-80538 München 
Germany

Tel.: +49-89-2180-9312 

Fax: +49-89-2180-9175

E-Mail: mcb@pst.ifi.lmu.de