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

MPI-SWS researchers receive the 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation

May 2023

MPI-SWS researchers have received the 2023 Alonzo Church Award for their seminal work on the Iris Framework for higher-order concurrent separation logic.

Kaushik Mallik awarded ETAPS Doctoral Dissertation Award

April 2023

Kaushik Mallik's thesis has received the 2023 ETAPS Doctoral Dissertation Award.

Max Planck researchers publish 6 papers at POPL 2023!

January 2023

Max Planck researchers have authored six papers to appear in POPL 2023, one of which received a distinguished paper award.

Rupak Majumdar wins CONCUR test-of-time award

June 2022

Rupak Majumdar received the CONCUR Test of Time Award for his 2003 paper on "The Element of Surprise in Timed Games."

Viktor Vafeiadis receives Robin Milner Young Researcher Award

June 2022

Viktor Vafeiadis has won the 2022 Robin Milner Young Researcher Award, which is given by ACM SIGPLAN to recognize outstanding contributions by young investigators in the area of programming languages.

All News

Recent projects

All projects

Recent software

adiff

Tool for differentially testing soundness and precision of program analyzers

bran

Static analysis framework for EVM bytecode

daisy

A framework for analysis and optimization of numerical programs

genmc

Generic model checker for concurrent C programs

People

Faculty

Björn Brandenburg

Derek Dreyer

Deepak Garg

Rupak Majumdar

Joel Ouaknine

Anne-Kathrin Schmuck

Viktor Vafeiadis

Georg Zetzsche

Research Group Leaders

Moses Ganardi

Affiliated Faculty

Maria Christakis
(Adjunct Faculty)

Eva Darulova
(Adjunct Faculty)

Anthony Lin
(Max Planck Fellow)

Postdoctoral Researchers

Emanuele D'Osualdo

Khushraj Madnani

Youngju Song

Léo Stefanesco

Di-De Yen

Doctoral Students

Rosa Abbasi

Ashwani Anand

Pascal Baumann

Kimaya Bedarkar

Hasan Ferit Eniser

Pavel Golovin

Lennard Gäher

Toghrul Karimov

Michalis Kokologiannakis

Debasmita Lohar

Iason Marmanis

Jan Menz

Satya Prakash Nayak

Joris Nieuwveld

Rajarshi Roy

Irmak Saglam

Mahmoud Salamati

Michael Sammler

Lia Schütze

Simon Spies

Sathiyanarayana Venkatesan Ramesh

External Students

Pascal Bergsträßer

Ana Mainhardt

Former members

Dmitry Chistikov

Jacques-Henri Jourdan

Ori Lahav

Heiko Becker

Hoang-Hai Dang

Akram El-Korashy

Ivan Gavran

Andrew Hirsch

Ralf Jung

Jan-Oliver Kaiser

Scott Kilpatrick

Rodolphe Lepigre

Kaushik Mallik

Aman Shankar Mathur

Marcus Pirron

Anton Podkopaev

David Purser

Andreas Rossberg

Erfan Tavakoli

Ramanathan Thinniyam Srinivasan

Fengmin Zhu

Burcu Özkan

Edon Kelmendi

David Swasey

Maximilian Wuttke

Sofia Barkatsa

Annika Hennes

Thibault Hilaire

Alan Joel Jayachandran Albert

Maria Kokkou

Egor Namakonov

Marianna Rapoport

Marin Ricros

Mateusz Rychlicki

Kwing Hei Li

Milijana Surbatovich

Cookie	Duration	Description
cookielawinfo-checkbox-analytics	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics".
cookielawinfo-checkbox-functional	11 months	The cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional".
cookielawinfo-checkbox-necessary	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".
cookielawinfo-checkbox-others	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other.
cookielawinfo-checkbox-performance	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance".
viewed_cookie_policy	11 months	The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.

Need help?