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.


Maria Christakis to join MPI-SWS as tenure-track faculty

June 2017
Maria's research is in the areas of software engineering, programming languages, and formal methods. She joins the institute in October 2017.

Static Program Analysis Course at Saarland University

April 2017
Eva Darulova is teaching Static Program Analysis in summer 2017 at Saarland University.

Principles of Cyber-Physical Systems Course at TU Kaiserslautern

April 2017
Sadegh Soudjani is teaching Principles of Cyber-physical Systems at the University of Kaiserslautern in Summer 2017.

Advanced Automata Theory Course at TU Kaiserslautern

April 2017
Rupak Majumdar and Daniel Neider are co-teaching Advanced Automata Theory in summer 2017 at the University of Kaiserslautern.

Program Analysis course at TU Kaiserslautern

November 2016
Course Announcement: Program Analysis. Rayna Dimitrova is teaching Program Analysis at the University of Kaiserslautern in the Winter 2016-17 semester.