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.

 

Forschungsthemen

Compiler, Domain Specific Languages, Parallelität, formale Methoden, Leistungsoptimierung, Programmanalyse, Programmgenerierung, Programmsynthese, Testen, Werkzeuge, Verifikation

   

Computer science professor David Basin

David Basin
Ordentlicher Professor


Webseite

Informationssicherheit, Softwareentwicklung, Verifikation, Logik in der Informatik, formale Methoden
 

Computer science professor Torsten Hoefler

Torsten Hoefler
Ordentlicher Professor


Webseite

Effiziente und sichere Architektur und Vernetzung von Rechenzentren, Cloud Computing, Klimasimulationen, hochskalierendes maschinelles Lernen, Quanten- und Hochleistungsrechnen

Ralf Jung

Ralf Jung
Assistenzprofessor


externe SeiteWebseite

Formale Verifikation, Programmlogik, Typsysteme, Nebenläufigkeit, Systemprogrammiersprachen

Computer science professor Peter Müller

Peter Müller
Ordentlicher Professor


Webseite

Programmverifikation, Typsysteme, statische Programmanalyse, Testen, formale Methoden, Werkzeuge

 

Vergrösserte Ansicht: Computer science professor Markus Püschel

Markus Püschel
Ordentlicher Professor


Webseite

Programmgenerierung, Signalverarbeitung, Leistungsoptimierung, Programmanalyse, Domain Specific Languages, Maschinelles Lernen, FPGAs
 

computer science professor shweta shinde

Shweta Shinde
Assistenzprofessorin


Webseite

Systemsicherheit, Softwaresicherheit, Trusted Computing, sichere Hardware, Verifizierung

Computer science professor Zhendong Su

Zhendong Su
Ordentlicher Professor


Webseite

Compiler, Programmiermethodiken und -werkzeuge, Testen, Analyse, Verifikation, Software Sicherheit, maschinelles Lernen, Lehrtechnologien
 

Computer science professor Martin Vechev

Martin Vechev
Ordentlicher Professor


Webseite

Automatisierte Logik, maschinelles Lernen, sichere künstliche Intelligenz, Sicherheit

 

April Yi Wang

April Yi Wang
Assistenzprofessorin


externe SeiteWebseite

Bildungstechnologie, Mensch-Computer-Interaktion, künstliche Intelligenz im Bildungswesen, kollektive Intelligenz und Organisationstechnologie, Endbenutzerprogrammierung, Benutzeroberfläche für die Programmierung

JavaScript wurde auf Ihrem Browser deaktiviert