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 | |
|---|---|---|---|
| Dipl.-Inform. Rene Franke | 0345-55 24722 | 333 | rene.franke@informatik.uni-halle.de |
| 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 |
| Dr. Dirk Richter | 0345-55 24756 | 323 | dirk.richter@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
Projekt RealTimeSCM hat begonnen
Das Verbundprojekt wird vom BMBF für den Zeitraum vom 1.1.2012-31.12.2013 im Rahmen des Programms KMU-innovativ gefördert. Verbundpartner sind die Merseburger Firm OR Soft GmbH, mit der der Lehrstuhl bereits ein gemeinsames Verbundprojekt durch geführt hat, sowie das Institut für Wirtschaftsinformatik (Prof. Dr. Rainer Alt) der Universität Leipzig