AG Programmiersprachen
Prof. Dr. Ralf Hinze

Gegenstand der Softwaretechnik sind Modelle, Techniken, Sprachen und Werkzeuge zur Entwicklung von Softwaresystemen. Die AG Programmiersprachen konzentriert sich derzeit auf folgende Themenbereiche:

Bewiesen-korrekte funktionale Programmierung in Wert-abhängig typisierten Sprachen (insb. Agda)
Generative Softwarekonstruktion
Entwurf von Softwaresprachen