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
Website
information security, verification, formal methods, software engineering, logic in computer science
Michal Friedman
Assistant Professor
external page Website
concurrency, systems, emerging technologies, programming languages, sustainability
Torsten Hoefler
Full Professor
Website
efficient and secure datacenter architecture and networking, cloud computing, climate simulations, large-scale machine learning, quantum and high-performance computing
Jules Jacobs
Assistant Professor
external page Website
formal methods, type theory, probabilistic programming, proof assistants, programming languages
as of 1 September, 2026
Ralf Jung
Assistant Professor
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
Shweta Shinde
Assistant Professor
Website
systems security, software security, trusted computing, secure hardware, verification
Zhendong Su
Full Professor
Website
compilers, programming methodologies and tools, testing, analysis, verification, software security, machine learning, education technologies
Martin Vechev
Full Professor
Website
automated reasoning, machine learning, safe artificial intelligence, security
April Yi Wang
Assistant Professor
external page Website
educational technology, human-computer interaction, artificial intelligence in education, collective intelligence and organizational technology, end-user programming, user interface for programming