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.
David Basin
Full Professor
Website
information security, verification, formal methods, software engineering, logic in computer science
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
Ralf Jung
Assistant Professor
external page Website
formal verification, program logics, type systems, concurrency, systems programming languages
Michalis Kokologiannakis
Assistant Professor
E-mail
external page 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