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 Chwking
- Compiler Construction and Model-Based Code Generation
- Compiler Verification
- Parallel Computing & Programming
Mitarbeiter
| Name | Telefon | Raum | |
|---|---|---|---|
| Dr. Werner Gabrisch | 0345-55 24741 | 321 | werner.gabrisch@informatik.uni-halle.de |
| Dr. Roswitha Picht | 0345-55 24756 | 323 | roswitha.picht@informatik.uni-halle.de |
| Dipl.-Inform. Dirk Richter | 0345-55 24756 | 323 | dirk.richter@informatik.uni-halle.de |
| Dipl.-Inform. Maik Schöpe | 0345-55 24736 | 220 | maik.schoepe@informatik.uni-halle.de |
| Dipl.-Bioinform. Mandy Weißbach | 0345-55 24723 | 321 | mandy.weissbach@informatik.uni-halle.de |
| Dipl.-Inform. Sebastian Wendt | 0345-55 24722 | 333 | sebastian.wendt@informatik.uni-halle.de |
News
Buch ist erschienen
G. Goos, W. Zimmermann: Vorlesungen über Informatik, Band 2, Objektorientiertes Programmieren und Algorithmen, 4. Auflage, Springer Verlag, 2006