Lehrstuhl für Software-Engineering 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
wolf.zimmermann@informatik.uni-halle.de
Sekretariat:
Ramona Vahrenhold
ramona.vahrenhold@informatik.uni-halle.de
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