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

« November 2014 »
November
MoDiMiDoFrSaSo
12
3456789
10111213141516
17181920212223
24252627282930