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.
![Computer science professor David Basin](/research/programming-languages-software-engineering/_jcr_content/par/twocolumn/par_left/textimage/image.imageformat.textsingle.675929318.jpg)
David Basin
Full Professor
Website
information security, verification, formal methods, software engineering, logic in computer science
![Computer science professor Torsten Hoefler](/research/programming-languages-software-engineering/_jcr_content/par/twocolumn/par_right/textimage/image.imageformat.textsingle.1548975307.jpg)
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](/research/programming-languages-software-engineering/_jcr_content/par/twocolumn_0/par_left/textimage_1837115587/image.imageformat.textsingle.634618581.jpg)
Ralf Jung
Assistant Professor
external pageWebsitecall_made
formal verification, program logics, type systems, concurrency, systems programming languages
![Michalis Kokologiannakis](/research/programming-languages-software-engineering/_jcr_content/par/twocolumn_0/par_right/textimage_2068916410/image.imageformat.textsingle.1715004689.jpg)
Michalis Kokologiannakis
Assistant Professor
E-mail
external pageWebsitecall_made
automated reasoning, algorithmic verification, concurrency, testing, tools
![Computer science professor Shweta Shinde](/research/programming-languages-software-engineering/_jcr_content/par/twocolumn_728442292/par_left/textimage/image.imageformat.textsingle.2105970293.jpg)
Shweta Shinde
Assistant Professor
Website
systems security, software security, trusted computing, secure hardware, verification
![Computer science professor Zhendong Su](/research/programming-languages-software-engineering/_jcr_content/par/twocolumn_728442292/par_right/textimage_957381087/image.imageformat.textsingle.1948107644.jpg)
Zhendong Su
Full Professor
Website
compilers, programming methodologies and tools, testing, analysis, verification, software security, machine learning, education technologies
![Computer science professor Martin Vechev](/research/programming-languages-software-engineering/_jcr_content/par/twocolumn_787164411/par_left/textimage_1751593292/image.imageformat.textsingle.1674305783.jpg)
Martin Vechev
Full Professor
Website
automated reasoning, machine learning, safe artificial intelligence, security
![April Yi Wang](/research/programming-languages-software-engineering/_jcr_content/par/twocolumn_787164411/par_right/textimage/image.imageformat.textsingle.1033134996.jpg)
April Yi Wang
Assistant Professor
external pageWebsitecall_made
educational technology, human-computer interaction, artificial intelligence in education, collective intelligence and organizational technology, end-user programming, user interface for programming