Wichtiger Hinweis:

Dies sind die archivierten Webseiten des Lehrstuhls für Programmierung und Softwaretechnik (PST).
Die Seiten des Nachfolgerlehrstuhls, Software and Computational Systems Lab (SoSy), finden Sie auf https://www.sosy-lab.org/.

Prof. Dr. Mila Majster-Cederbaum

Prof. Dr. Mila Majster-Cederbaum

Forschungsinteressen

  • Prinzipien von Programmiersprachen
  • Semantik und Verifikation reaktiver Systeme
  • Bioinformatik

Abteilung

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

Büro

Oettingenstr. 67, Raum 056

Anschrift

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