Algorithms, Theory & Logic

The algorithms, theory, and logic theme encompasses our research into the mathematical underpinnings of computer science and the application of foundational ideas to concrete applications in many different areas of computer science. Our research spans both algorithms, decidability, and complexity as well as logic, semantics, and proof theory.

News

7.5 Million Euro ERC grant awarded to research combining mathematics and theoretical computer science

November 2024
MPI-SWS researchers Joël Ouaknine and Florian Luca are principal investigators of the interdisciplinary project, titled ‘Dynamical and Arithmetical Model Checking’, which has just been awarded an ERC Synergy Grant.
More

MPI-SWS researchers receives LICS 2024 Distinguished Paper Award

July 2024
MPI-SWS researchers have received a Distinguished Paper Award at LICS 2024 for their paper "On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates."
More

MPI-SWS researchers receive 2024 SIGBED HSCC Best Paper award

June 2024
MPI-SWS researchers have received the 2024 SIGBED HSCC best paper award for their paper "Linear Dynamical Systems with Continuous Weight Functions."
More

Max Planck researchers publish 7 papers at POPL 2024!

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

Anne-Kathrin Schmuck joins MPI-SWS tenure-track faculty

July 2023
Anne-Kathrin Schmuck joins the tenure-track faculty at our institute starting July 2023.
More
All News

Papers

All papers

People

Faculty

Derek Dreyer

Derek Dreyer
Deepak Garg

Deepak Garg
Rupak Majumdar

Rupak Majumdar
Joel Ouaknine

Joel Ouaknine
Anne-Kathrin Schmuck

Anne-Kathrin Schmuck
Viktor Vafeiadis

Viktor Vafeiadis
Georg Zetzsche

Georg Zetzsche

Research Group Leaders

Moses Ganardi

Moses Ganardi
Sadegh Soudjani

Sadegh Soudjani

Affiliated Faculty

Anthony Lin

Anthony Lin
(Max Planck Fellow)

Local Collaborators

Kurt Mehlhorn

Kurt Mehlhorn
(MPI INF)

Postdoctoral Researchers

Bala Ayikudi Ramachandrakumar

Bala Ayikudi Ramachandrakumar
Arash Bahari Kordabad

Arash Bahari Kordabad
Alexandra Bugariu

Alexandra Bugariu
Arabinda Ghosh

Arabinda Ghosh
Quentin Guilmant

Quentin Guilmant
Toghrul Karimov

Toghrul Karimov
Chris Köcher

Chris Köcher
Khushraj Madnani

Khushraj Madnani
Richard Mandel

Richard Mandel
Ritam Raha

Ritam Raha
Germano Schafaschek

Germano Schafaschek
Isa Vialard

Isa Vialard

Doctoral Students

Ashwani Anand

Ashwani Anand
Pascal Baumann

Pascal Baumann
Mohammad Hossein Khoshechin Jorshari

Mohammad Hossein Khoshechin Jorshari
Satya Prakash Nayak

Satya Prakash Nayak
Mahdi Nazeri

Mahdi Nazeri
Joris Nieuwveld

Joris Nieuwveld
Marin Ricros

Marin Ricros
Irmak Saglam

Irmak Saglam
Lia Schütze

Lia Schütze
Mihir Vahanwala

Mihir Vahanwala
Sathiyanarayana Venkatesan Ramesh

Sathiyanarayana Venkatesan Ramesh

External Students

Pascal Bergsträßer

Pascal Bergsträßer
Ana Mainhardt

Ana Mainhardt

Former members

Dmitry Chistikov

Dmitry Chistikov
Ivan Gavran

Ivan Gavran
Kaushik Mallik

Kaushik Mallik
Armand Noubissie

Armand Noubissie
David Purser

David Purser
Rodrigo Raya

Rodrigo Raya
Rajarshi Roy

Rajarshi Roy
Ramanathan Thinniyam Srinivasan

Ramanathan Thinniyam Srinivasan