Schwerpunkte

• Softwaretechnik – Formale Methoden
• Datenbanksysteme – Relationale Logik

Aktuelles

Sprechstunde im Sommersemester 2020:
Vereinbarung per E-Mail

Veranstaltungen

Sommersemester 2020

• Datenbanksysteme (BSc)
• Datenbanken und Informationssysteme (MSc)

Wintersemester 2020/21

• Softwarearchitektur und Anwendungsentwicklung (MSc)
• Logik und formale Methoden (MSc)

Sommersemester 2021

• Datenbanksysteme (BSc)
• Datenbanken und Informationssysteme (MSc)

Frühere Semester

• Wissenschaftliches Arbeiten in der Informatik (BSc)
• Datenbanksysteme (BSc)
• Softwaretechnik (BSc)
• Funktionale Programmierung (BSc)
• Logik und formale Methoden (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
• Tutorials, Beispiele und Experimente mit Coq
• MNI Macro Processor MMP
• eBC eBooks Collection Toolbox
• Redaktionssystem Modulkatalog RedMoK
• Elektronisches Personenstandsregister XPSR
• Publikationen

Institut für SoftwareArchitektur

• Archiv

Miscellanea

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