Projekte
Unsere Hauptforschungsinteressen sind im Bereich innovativer Sprachkonzepte und -programmiertechniken sowie der Methoden der KI angesiedelt. Insbesondere richten Sie sich auf Theorie, Techniken und Anwendung der Constraint-basierten und deklarativen Programmierung, auf Verfahren der Planung, des Scheduling und der Optimierung.
Wir bearbeiten Themen aus diesen Gebieten im Rahmen von konkreten Forschungsprojekten. In der Lehre bieten wir neben grundlegenden Veranstaltungen aus den Bereichen Programmiersprachen und Compilerbau auch Vertiefungsveranstaltungen an, in denen wir auf Forschungsprojekte eingehen. Außerdem bieten wir Bachelor-, Master-, Studien- und Diplomarbeiten zu unseren Forschungsgebieten an.
Nachfolgend finden Sie einige aktuelle Forschungprojekte.
