Schwerpunkte

• Softwaretechnik – Formale Methoden
• Datenbanksysteme – Relationale Logik

Aktuelles

Sprechstunde: Vereinbarung per E-Mail

Veranstaltungen

Wintersemester 2025/26

• Funktionale Programmierung in Lean (MSc)

Frühere Semester

• Wissenschaftliches Arbeiten in der Informatik (BSc)
• Datenbanksysteme (BSc)
• Softwaretechnik (BSc)
• Funktionale Programmierung (BSc)
• Logik und formale Methoden (MSc)
• Interaktives Spezifizieren und Verifizieren von Softwareartefakten (MSc)
• Datenbanken und Informationssysteme (MSc)
• Architektur und Implementierung eines Datenbankmanagementsystems (MSc)
• Softwarearchitektur und Anwendungsentwicklung (MSc)
• Softwareanforderungsanalyse (MSc)
• Programmieren in Clojure (MSc)

Forschung, Projekte und Publikationen

• Softwaretechnik
• Softwarearchitektur
• Logic Workbench LWB
• eBC eBooks Collection Toolbox
• MNI Macro Processor MMP
• Redaktionssystem Modulkatalog RedMoK
• Elektronisches Personenstandsregister XPSR
• Publikationen

Institut für SoftwareArchitektur

• Archiv

Miscellanea

• Schreiben für die Leser
• Dokumentation von DTDs
• Vim