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

Michael Sammler wins Runner-Up Prize for Informatics Europe Best Dissertation Award

November 2024

Dr. Michael Sammler has received the Runner-Up Prize for the 2024 Informatics Europe Best Dissertation Award, as well as the Dr. Eduard Martin Prize from Saarland University.

Andrea Lattuada joins MPI-SWS faculty

September 2024

Andrea Lattuada will join MPI-SWS as a Research Group Leader. His research focuses on pragmatic systems software verification, i.e., verification that is practical and usable by engineers and applicable to complex systems software.

MPI-SWS researcher receives OSDI 2024 Best Paper Award

July 2024

Andrea Lattuada and his collaborators have received a Best Paper Award at OSDI 2024 for his paper “Anvil: Verifying Liveness of Cluster Management Controllers.”

MPI-SWS researchers receive PLDI 2024 Distinguished Artifact Award

July 2024

MPI-SWS researcherers have received the PLDI 2024 Distinguished Artifact Award for their paper Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq.

Max Planck researchers publish 7 papers at POPL 2024!

January 2024

Max Planck researchers have authored seven papers to appear in POPL 2024.

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

Andrea Lattuada

Sadegh Soudjani

Affiliated Faculty

Maria Christakis
(Adjunct Faculty)

Eva Darulova
(Adjunct Faculty)

Robert Harper
(External Scientific Member)

Anthony Lin
(Max Planck Fellow)

Postdoctoral Researchers

Bala Ayikudi Ramachandrakumar

Arash Bahari Kordabad

Alexandra Bugariu

Aïna Linn Georges

Arabinda Ghosh

Quentin Guilmant

Toghrul Karimov

Chris Köcher

Khushraj Madnani

Richard Mandel

Léo Stefanesco

Isa Vialard

Doctoral Students

Rosa Abbasi

Ashwani Anand

Ellen Arlt

Pascal Baumann

Kimaya Bedarkar

Andrea Borgarelli

Pavel Golovin

Lennard Gäher

Mohammad Hossein Khoshechin Jorshari

Aristotelis Koutsouridis

Janine Lohse

Iason Marmanis

Jan Menz

Niklas Mück

Mahdi Nazeri

Joris Nieuwveld

Marin Ricros

Irmak Saglam

Mahmoud Salamati

Lia Schütze

Simon Spies

Mihir Vahanwala

Sathiyanarayana Venkatesan Ramesh

External Students

Pascal Bergsträßer

Former members

Dmitry Chistikov

Emanuele D'Osualdo

Hoang-Hai Dang

Akram El-Korashy

Hasan Ferit Eniser

Ivan Gavran

Jacques-Henri Jourdan

Ralf Jung

Jan-Oliver Kaiser

Scott Kilpatrick

Rodolphe Lepigre

Debasmita Lohar

Kaushik Mallik

Armand Noubissie

David Purser

Rodrigo Raya

Andreas Rossberg

Rajarshi Roy

Michael Sammler

Youngju Song

Ramanathan Thinniyam Srinivasan

Sofia Barkatsa

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?