Programmiersprachen und Software-Engineering
Die Forschung im Bereich Programmiersprachen und Software-Engineering konzentriert sich auf die Lösung grundlegender Probleme zur Verbesserung des Designs, der Konstruktion und der Analyse von Software. Die Abteilung deckt ein breites Spektrum an Forschung in diesem Bereich ab – von theoretischen Grundlagen bis hin zu praktischen Werkzeugen zur Unterstützung aktueller und zukünftiger ambitionierter Softwareprojekte. Die Themen umfassen Zuverlässigkeit und Sicherheit von Software, Softwareleistung und interdisziplinäre Forschung.
David Basin
Ordentlicher Professor
Webseite
Informationssicherheit, Softwareentwicklung, Verifikation, Logik in der Informatik, formale Methoden
Torsten Hoefler
Ordentlicher Professor
Webseite
Effiziente und sichere Architektur und Vernetzung von Rechenzentren, Cloud Computing, Klimasimulationen, hochskalierendes maschinelles Lernen, Quanten- und Hochleistungsrechnen
Ralf Jung
Assistenzprofessor
externe Seite Webseite
Formale Verifikation, Programmlogik, Typsysteme, Nebenläufigkeit, Systemprogrammiersprachen
Michalis Kokologiannakis
Assistenzprofessor
E-Mail
externe Seite Webseite
Automatisierte Argumentation, algorithmische Überprüfung, Nebenläufigkeit, Testen, Werkzeuge
Peter Müller
Ordentlicher Professor
Webseite
Programmverifikation, Typsysteme, statische Programmanalyse, Testen, formale Methoden, Werkzeuge
Markus Püschel
Ordentlicher Professor
Webseite
Programmgenerierung, Signalverarbeitung, Leistungsoptimierung, Programmanalyse, Domain Specific Languages, Maschinelles Lernen, FPGAs
Shweta Shinde
Assistenzprofessorin
Webseite
Systemsicherheit, Softwaresicherheit, Trusted Computing, sichere Hardware, Verifizierung
Zhendong Su
Ordentlicher Professor
Webseite
Compiler, Programmiermethodiken und -werkzeuge, Testen, Analyse, Verifikation, Software Sicherheit, maschinelles Lernen, Lehrtechnologien
Martin Vechev
Ordentlicher Professor
Webseite
Automatisierte Logik, maschinelles Lernen, sichere künstliche Intelligenz, Sicherheit
April Yi Wang
Assistenzprofessorin
externe Seite Webseite
Bildungstechnologie, Mensch-Computer-Interaktion, künstliche Intelligenz im Bildungswesen, kollektive Intelligenz und Organisationstechnologie, Endbenutzerprogrammierung, Benutzeroberfläche für die Programmierung