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".  
More

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.
More

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.
More

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.
More

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.
More
All News

Recent projects

All projects

Recent software

Papers

All papers

People

Faculty

Björn Brandenburg

Björn Brandenburg
Maria Christakis

Maria Christakis
Eva Darulova

Eva Darulova
Derek Dreyer

Derek Dreyer
Deepak Garg

Deepak Garg
Rupak Majumdar

Rupak Majumdar
Joel Ouaknine

Joel Ouaknine
Viktor Vafeiadis

Viktor Vafeiadis
Georg Zetzsche

Georg Zetzsche

Research Group Leaders

Filip Mazowiecki

Filip Mazowiecki
Daniel Neider

Daniel Neider
Damien Zufferey

Damien Zufferey

Postdoctoral Researchers

Andrew Hirsch

Andrew Hirsch
Clothilde Jeangoudoux

Clothilde Jeangoudoux
Engel Lefaucheux

Engel Lefaucheux
Rodolphe Lepigre

Rodolphe Lepigre
Anton Podkopaev

Anton Podkopaev
Azalea Raad

Azalea Raad
Anne-Kathrin Schmuck

Anne-Kathrin Schmuck
Ramanathan Thinniyam Srinivasan

Ramanathan Thinniyam Srinivasan
Natsuki Urabe

Natsuki Urabe
Markus Whiteland

Markus Whiteland
Fuyuan Zhang

Fuyuan Zhang
Burcu Özkan

Burcu Özkan

Doctoral Students

Rosa Abbasi

Rosa Abbasi
Heiko Becker

Heiko Becker
Hoang-Hai Dang

Hoang-Hai Dang
Marko Doko

Marko Doko
Akram El-Korashy

Akram El-Korashy
Hasan Ferit Eniser

Hasan Ferit Eniser
Ivan Gavran

Ivan Gavran
Ralf Jung

Ralf Jung
Jan-Oliver Kaiser

Jan-Oliver Kaiser
Michalis Kokologiannakis

Michalis Kokologiannakis
Debasmita Lohar

Debasmita Lohar
Kaushik Mallik

Kaushik Mallik
Muhammad Numair Mansur

Muhammad Numair Mansur
Aman Shankar Mathur

Aman Shankar Mathur
Jan Menz

Jan Menz
Simin Oraee

Simin Oraee
Marcus Pirron

Marcus Pirron
Vineet Rajani

Vineet Rajani
Rajarshi Roy

Rajarshi Roy
Lovro Rozic

Lovro Rozic
Mahmoud Salamati

Mahmoud Salamati
Michael Sammler

Michael Sammler
David Swasey

David Swasey
Xuan Xie

Xuan Xie
Joshua Yanovski

Joshua Yanovski

Former members

Chung-Kil Hur

Chung-Kil Hur
Jacques-Henri Jourdan

Jacques-Henri Jourdan
Neel Krishnaswami

Neel Krishnaswami
Ori Lahav

Ori Lahav
Filip Niksic

Filip Niksic
Aaron Turon

Aaron Turon
Johar Ashfaque

Johar Ashfaque
Soham Chakraborty

Soham Chakraborty
Rayna Dimitrova

Rayna Dimitrova
Sadegh Esmaeil Zadeh Soudjani

Sadegh Esmaeil Zadeh Soudjani
Anastasiia Izycheva

Anastasiia Izycheva
Scott Kilpatrick

Scott Kilpatrick
Hui Kong

Hui Kong
Georg Neis

Georg Neis
Andreas Rossberg

Andreas Rossberg
Alexander Wieder

Alexander Wieder
Vinayak Prabhu

Vinayak Prabhu
Pierre-Marie Pédrot

Pierre-Marie Pédrot