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 pageWebsite
formal verification, program logics, type systems, concurrency, systems programming languages
Peter Müller
Full Professor
Website
program verification, static program analysis, type systems, testing, formal methods, tools
April Yi Wang
Assistant Professor
external pageWebsite
educational technology, human-computer interaction, artificial intelligence in education, collective intelligence and organizational technology, end-user programming, user interface for programming