Gegenstand der Softwaretechnik sind Modelle, Techniken, Sprachen und Werkzeuge zur Entwicklung von Softwaresystemen.

Der Lehrstuhl Softwaretechnik forscht zu den folgenden Themenbereichen:

• Spezifikation, Analyse und Verifikation von Software
• Programmierung verteilter und nebenläufiger Systeme; Replikation und Konsistenz, konfliktfreie replizierte Datentypen (CRDTs)
• Semantik von Programmiersprachen; Typsysteme
• Generative Softwarekonstruktion
• Informatik in Schulen und Hochschulen; Didaktik der Programmierung