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

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?