Martin-Luther-Universität Halle-Wittenberg

Logo des Lehrstuhls Software-Engineering und Progammiersprachen

Weiteres

Login für Redakteure

Lehrstuhl für Software-Engineering und Programmiersprachen

Logo des Lehrstuhls Softwareengineering und Programmiersprachen

Logo des Lehrstuhls Softwareengineering und Programmiersprachen

Kontakt

Universität Halle-Wittenberg
Institut für Informatik
Prof. Dr. Wolf Zimmermann

Von-Seckendorff-Platz 1
06120 Halle (Saale)

Telefon: ++49 345 5524712
Telefon: Sekretariat
++49 345 5524750
Telefax: ++49 345 5527333

Sekretariat:
Ramona Vahrenhold

Postanschrift:
Universität Halle-Wittenberg
Institut für Informatik
Prof. Dr. Wolf Zimmermann
Von-Seckendorff-Platz 1
06120 Halle (Saale)

Research Activities

  • Software Components and Web Services: Protocol Conformance Checking
  • Optimizing Software Model Checking
  • Compiler Construction and Model-Based Code Generation
  • Compiler Verification
  • Parallel Computing & Programming

News

Zum Seitenanfang