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

David Basin
Ordentlicher Professor
E-Mail
Webseite

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

Vergrösserte Ansicht: Prof. Michal Friedman

Michal Friedman
Assistenzprofessorin
E-Mail
externe Seite Webseite

Nebenläufigkeit, Systeme, neue Technologien, Programmiersprachen, Nachhaltigkeit

Computer science professor Torsten Hoefler

Torsten Hoefler
Ordentlicher Professor
E-Mail
Webseite

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

Ralf Jung
Assistenzprofessor
externe Seite E-Mail
externe Seite Webseite

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

Michalis Kokologiannakis
Assistenzprofessor
E-Mail
Webseite

Automatisierte Argumentation, algorithmische Überprüfung, Nebenläufigkeit, Testen, Werkzeuge

Peter Müller
Ordentlicher Professor
E-Mail
Webseite

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

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

Markus Püschel
Ordentlicher Professor
E-Mail
Webseite

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

computer science professor shweta shinde

Shweta Shinde
Assistenzprofessorin
E-Mail
Webseite

Systemsicherheit, Softwaresicherheit, Trusted Computing, sichere Hardware, Verifizierung

Zhendong Su
Ordentlicher Professor
E-Mail
Webseite

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

Computer science professor Martin Vechev

Martin Vechev
Ordentlicher Professor
E-Mail
Webseite

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

April Yi Wang
Assistenzprofessorin
E-Mail
externe Seite Webseite

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

Programmiersprachen und Software-Engineering

Forschungsthemen

Verwandte Einheit am Departement Informatik: