Programming Languages and Software Engineering

Research in programming languages and software engineering centres on tackling fundamental problems to improve the design, construction and analysis of software. The department covers a wide spectrum of research in this area, from theoretical underpinnings to practical tools supporting current and future ambitious software projects. Topics include software reliability and security, software performance, and interdisciplinary research.

Areas of research

compilers, domain-specific languages, concurrency, formal methods, performance optimization, program analysis, program generation, program synthesis, testing, tools, verification

David Basin
Full Professor
E-mail
Website

information security, verification, formal methods, software engineering, logic in computer science

Computer science professor Torsten Hoefler

Torsten Hoefler
Full Professor
E-mail
Website

efficient and secure datacenter architecture and networking, cloud computing, climate simulations, large-scale machine learning, quantum and high-performance computing

Michal Friedman
Assistant Professor
E-mail
external page Website

concurrency, systems, emerging technologies, programming languages, sustainability

Ralf Jung
Assistant Professor
external page E-mail
external page Website

formal verification, program logics, type systems, concurrency, systems programming languages

Michalis Kokologiannakis
Assistant Professor
E-mail
Website

automated reasoning, algorithmic verification, concurrency, testing, tools

Peter Müller
Full Professor
E-mail
Website

program verification, static program analysis, type systems, testing, formal methods, tools

Computer science professor Markus Püschel

Markus Püschel
Full Professor
E-mail
Website

program generation, signal processing, performance optimization, program analysis, domain-specific languages, machine learning, FPGAs

Computer science professor Shweta Shinde

Shweta Shinde
Assistant Professor
E-mail
Website

systems security, software security, trusted computing, secure hardware, verification

Zhendong Su
Full Professor
E-mail
Website

compilers, programming methodologies and tools, testing, analysis, verification, software security, machine learning, education technologies

Computer science professor Martin Vechev

Martin Vechev
Full Professor
E-mail
Website

automated reasoning, machine learning, safe artificial intelligence, security

April Yi Wang
Assistant Professor
E-mail
external page Website

educational technology, human-computer interaction, artificial intelligence in education, collective intelligence and organizational technology, end-user programming, user interface for programming

Related unit at the Computer Science Department:

Chair of Programming Methodology