Lehr- und Forschungsgebiet Softwaretechnik
Prof. Dr. sc. nat.

Arbeitsgebiete:

• Softwaretechnik
• Compilerbau
• Programmiersprachen

Lehrveranstaltungen:

• Funktionale Programmierung
• Praktische Informatik I
• Praktische Informatik III (Compilerbau)
• Einführung in das Software Engineering
• Projekt: Software-Sanierung
• Lehrmaterial-Repositories
• Projekt: Mensch-Technik-Interaktion in Echtzeit
  

• 1979 Promotion A zur Thematik 'Spezifikation und Verifikation abstrakter Datentypen'
• 1986 Promotion B zur Thematik 'Ein algorithmisches Interface für Pascal-Compiler: Compiler-Portabilität durch Modularisierung'
• September 1986 - Juli 1987 Forschungsaufenthalt am ungarischen Forschungszentrum SZKI in Budapest
• September 1991 - Februar 1992 Sonderforschungsstipendiat der Humboldt- Stiftung in Erlangen bei Prof. Stoyan
• Seit Dezember 1993 Professur für Softwaretechnik und Theorie der Programmierung an der Humboldt-Universität zu Berlin
• bisherige Arbeitsgebiete:
• • Theorie der Programmierung (Algebraische Spezifikation abstrakter Datentypen)
  • Implementation prozeduraler Programmiersprachen (Compilertechnik)
  • Logische Programmierung und Implementation von Prolog
  • Wissensverarbeitung und Expertensysteme