Lehrstuhl für Software-Engineering und Programmiersprachen
Kontakt
Universität Halle-Wittenebrg
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
Instituti für Informatik
Prof. Dr. Wolf Zimmermann
Von-Seckendorff-Platz 1
06120 Halle (Saale)
Research Activities
- Design of Object-Oriented Software-Libraries
- Software-Generation
- Software-Verification
- Software-Design by Contract
- Modelchecking with Abstract State Machines
- Construction of Correct Compilers
- Parallel Computing & Programming
- Design & Implementation of Device-Description Languages
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. Andreas Both | 0345-55 24723 | 321 | andreas.both@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