Martin-Luther University Halle-Wittenberg Prof. Dr. Wolf Zimmermann Homepage

Address Martin-Luther-Universität Halle-Wittenberg Fachbereich Mathematik und Informatik Institut für Informatik Arbeitsgruppe Software-Engineering und Programmiersprachen von-Seckendorff-Platz 1 06099 Halle/Saale Germany Tel   : ++49 345/55-24712   Fax : ++49 345/55-27333   E-Mail: zimmer@informatik.uni-halle.de

Academic Degrees

• Diploma Thesis:
Computer Science at the University of Karlsruhe (1987)
• Doctoral Thesis:
Computer Science at the University of Karlsruhe (1990)
• Habilitation: Computer Science at the University of Karlsruhe (1998)

Secretary

• Ramona Vahrenhold , Tel.: +49 (345) 55-24750 

Scientific Staff

• Andreas Both
  
• Dr. Werner Gabrisch
• Dr. Roswitha Picht
• Dirk Pollmächer (Drittmittel)
  
• Stefan Schäfer (PhD Student, binational supervision together with Dr. Bernhard Scholz from the University of Sydney)
  

Publications

Zimmermann, Wolf

---

Research Interests

• Software-Engineering
• Programming Languages

• Object-Oriented Design: Libraries
• Parallel  Computing and Programming
• Model Checking of Component Conformance
• Correctness of Code Generators
  

• Verifix: Construction of Correct Compilers  (Karlsruhe)
• Analysis and Implementation of Device Description Languages (Industrial)
• Integration of Scheduling Techniques into Compilers for Parallel Languages (DAAD)
  

Courses

• Lectures WS 2000/2001
• Software Engineering (Do 14-16, Fr. 08-10)
• Spezifikationstechniken(Mi 10-12, Mi 14-16)
• Lectures SS 2001
• Software Engineering 2 (Do 10-12, Fr 08-10)
• Programming Languages (Fr 10-14)
• Software Engineering in Practice (Mi 12-16)
• Proseminar XML (Di 16-18)
• Lectures WS 2001/2002
• Informatik 1 (Di 14-16, Do 14-16)
• Software Engineering (Di 8-10, Fr 8-10)
• Seminar Verifikation (Do 9-11)
• Lectures SS 2002
• Informatik 2 (Di 14-16, Do 14-16)
• Programmiersprachen
• Software Engineering in der Praxis
• Proseminar XML
• Oberseminar
• Lectures WS 2002/03
• Software Engineering (Do 10-12, Fr 8-10, Übungen Di 8-10) 
• Übersetzerbau (Mi 10-12, Fr 10-12, Übungen Mo 10-12)
  
• Oberseminar
• Lectures SS2003
• Informatik 2 für Wirtschaftsinformatiker (Di 14-15, Do 14-16, Übungen Fr 12-14)
• Programmiersprachen (Do 10-12,  Fr 8-10, Übungen Di 10-12)
• Proseminar Dateiformate (Mi 10-12)
• Oberseminar
• Lectures WS2003/2004
• Software Engineering (Do 10-12, Fr 10-12, Übungen Fr 12-14) 
• Informatik 1 (Di 14-16, Do 14-16, Übungen Fr 12-14)
• Seminar Programmanalyse (Mo 12-14)
• Oberseminar
• Lectures SS2004
• Programmiersprachen (Do 10-12, Fr 10-12, Übungen Di 10-12) 
• Übersetzerbau (Mi 10-12, Do 14-16, Übungen Di 12-14)
• Proseminar C# und .NET(Mi 14-16)
• Oberseminar
• Lectures SS2005
• Programmiersprachen (Do 10-12, Fr 10-12, Übungen Do 12-14) 
• Übersetzerbau (Mi 10-12, Do 14-16, Übungen Mi 16-18)
• Proseminar Software-Pioniere: Fundamentale Arbeiten in der Informatik (Mi 12-14)
• Seminar: Kontextfreie Modellprüfung (Fr 8-10)
  
• Oberseminar
• Lectures WS2005/2006
• Software Engineering (Do 10-12, Fr 10-12, Übungen Fr 12-14) 
• Informatik 1 (Di 14-16, Do 14-16, Übungen Fr 14-16)
• Seminar Codeerzeugung für VLIW-Prozessoren (Di 10-12)
• Oberseminar

Memberships

• Editorial Board of Journal of Universal Computer Science
• Editorial Board of IEE Journal on Software Engineering
• Program Co-Chair of the 1st Workshop on "Compiler Optimization meets Compiler Verification" COCV'02, ETAPS 2002-Satellite-Event
  
• Program Co-Chair of the 2nd Workshop on "Compiler Optimization meets Compiler Verification" COCV'03, ETAPS 2003-Satellite-Event
  
• Program Co-Chair of the 3rd Workshop on "Compiler Optimization meets Compiler Verification" COCV'04, ETAPS 2004-Satellite-Event
  
• Program Co-Chair of the 11th International Workshop on Abstract State Machines ASM 2004
• IFIP Working Group 2.4 "Software Implementation Technology"
  Program Co-Chair of the 4th Workshop on "Compiler Optimization meets Compiler Verification" COCV'05, ETAPS 2005-Satellite-Event
  

Diploma Thesis and Student Projects

Automatische Generierung von Klassenhierarchien
(Bearbeitet durch Dirk Pollmächer) 

Eine modulare formale Semantik von Sather-K
(Bearbeitet durch Stefan Schäfer)

Points-To Analysen auf attributierten Syntaxbäumen mit BDDs
(Bearbeitet durch Andreas Both)

Korrektheitsbegriffe für modellbasierte Codegeneratoren
(Bearbeiter: Michael Sohn, gemeinsam mit DaimlerChrysler Research Berlin, Dr. Mirko Conrad)

Implementierung eines Übersetzers für parallele Sprachen unter Verwendung von Task-Scheduling
(Bearbeiter: Thomas Müller)

Diplomarbeiten Wirtschaftsinformatik

Analyse, Bewertung und eventuelle Korrektur sowie Erweiterung bestehender Qualitätsmaßnahmen in Softwareentwicklungsprojekten in einem Medienunternehmen
(Bearbeitet durch Michael Mann, extern bei ProSieben Information Systems GmbH)

Formale objekt-orientierte Analyse einer FDA 21 CFR Part 11-konformen Messapplikation mit OCL
(Bearbeitet durch Thomas Lefeld, extern bei ECH Elektrochemie Halle GmbH)

Entscheidungsunterstützung bei der Auswahl von Softwarearchitekturen
(Bearbeitet durch Dirk Pollmächer)

Projektarbeiten Informatik

Objekt-Orientierte Analyse mit OCL am Beispiel eines Web-Content-Managementsystems.
(Bearbeitet durch Andreas Both) 

Interaktives System "Rätselhafter Luther"
(Bearbeitet durch Heike Stephan)

Syntaxanalyse für Sather-K mit Eli
(Bearbeitet durch Mathias Just und Michael Sohn

Semantische Analyse und Codeerzeugung für Sather-K nach CLR:
(Bearbeiter: Maik Jakobsche)

13.09.2005 W.Z.