Programming Languages & Verification

The group’s research focuses on the principles, design and implementation of programming languages and on foundational techniques and practical tools for analyzing, testing, and verifying programs against their correctness specifications.

Recent research has developed techniques for verifying compilers and other critical software, and tools for testing and/or verifying concurrent systems.

News

Former MPI-SWS postdoc receives ERC starting grant

September 2019
Former MPI-SWS postdoc Ori Lahav was awarded an ERC starting grant on "Verification-Aware Programming Language Concurrency Semantics".  

Advanced Automata Theory Course at TU Kaiserslautern

May 2019
Damien Zufferey and Daniel Neider are co-teaching Advanced Automata Theory in summer 2019 at the University of Kaiserslautern.

Azalea Raad selected to attend Heidelberg Laureate Forum

April 2019
MPI-SWS postdoctoral fellow Azalea Raad has been selected to attend the 7th annual Heidelberg Laureate Forum in September 2019. An international committee of experts selected Azalea for one of only 200 spots reserved for young computer scientists and mathematicians from around the world.

Five MPI-SWS papers at POPL 2019!

January 2019
Just as in 2018, MPI-SWS researchers again authored a total of five POPL papers in 2019.

MPI-SWS researchers win OOPSLA 2018 Distinguished Paper award

December 2018
Burcu Kulahcioglu Ozkan, Rupak Majumdar, and Filip Niksic have won a Distinguished Paper award at OOPSLA 2018.

Papers

People

Faculty

Research Group Leaders

Postdoctoral Researchers

Doctoral Students

Former members