Anmelden


Passwort vergessen?

Programmierung und Softwaretechnik (PST)

Univ. Prof. Dr. Martin Wirsing, Vizepräsident und Ordinarius

Univ. Prof. Tomas Bures, PhD, Gastprofessor
Univ. Prof. Dr. Fred Kröger, Extra-Ordinarius (em.)
Univ. Prof. Dr. Marcus Spies, Extra-Ordinarius (assoziiert)
Prof. Dr. Rudolf Haggenmüller, apl. Professor
Prof. Dr. Rolf Hennicker, apl. Professor
Prof. Dr. Mila Majster-Cederbaum

Schwerpunkte in Lehre und Forschung

  • Software-Entwicklung unter Einbeziehung formaler Methoden
  • Algebraische Spezifikationstechniken
  • Methodik der Programmierung
  • Funktionale und objektorientierte Programmierung
  • Semantik von Spezifikations- und Programmiersprachen
  • Wiederverwendung von Software-Komponenten, Software-Bibliotheken
  • Temporale Logiken und ihre Anwendungen
  • Theorie paralleler Programme
  • Softwaretechniken für Web-Anwendungen

Adresse

Ludwig-Maximilians-Universität München
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik
Oettingenstraße 67
D-80538 München
Tel.: +49-89-2180-9151
Fax: +49-89-2180-9175

Sekretariat

Marianne Diem

« Oktober 2014 »
Oktober
MoDiMiDoFrSaSo
12345
6789101112
13141516171819
20212223242526
2728293031