Formal Methods
Brief overview of the research field
To be “quite sure” is the goal of this research area. Does the sensor detect the impact early enough, so that the airbag has enough time to deploy and save the driver’s life? Researchers want to be able to answer such questions for complex software in all application areas. Their secret weapons: mathematical logic and probabilities.
In Saarbrücken this research field of theoretical computer science is particularly well represented in the entire computer science department, as well as in the Max Planck Institute for Informatics, with numerous professorial chairs and junior research groups.
Professors in this field
![Image of Markus Bläser](https://pdb.saarland-informatics-campus.de/uploads/images/0c045e9a3e05425385b5e3691c766203.png)
Prof. Dr. Markus Bläser
Professor, Saarland UniversityComputational Complexity
![Image of Karl Bringmann](https://pdb.saarland-informatics-campus.de/uploads/images/m_karl_bringmann.jpg)
Prof. Dr. Karl Bringmann
Professor, Saarland UniversityAlgorithms and Complexity
![Image of Derek Dreyer](https://pdb.saarland-informatics-campus.de/uploads/images/Derek_Dreyer-e1527496106892-300x300-e1527496985994.jpg)
Prof. Dr. Derek Dreyer
Scientific Director and Professor, Max Planck Institute for Software Systems (MPI SWS)Foundations of Programming
![Image of Bernd Finkbeiner](https://pdb.saarland-informatics-campus.de/uploads/images/3f5a047f9c0a44b3bff0c2aa93cea633.png)
Prof. Dr. Bernd Finkbeiner
Professor, CISPA Helmholtz Center for Information SecurityReactive Systems
![Image of Holger Hermanns](https://pdb.saarland-informatics-campus.de/uploads/images/m_holger_hermanns.png)
Prof. Dr. Holger Hermanns
Professor, Saarland UniversityDependable Systems and Software
![Image of Jörg Hoffmann](https://pdb.saarland-informatics-campus.de/uploads/images/m_m_joerg_hoffman_zugeschnitten.jpg)
Prof. Dr. Jörg Hoffmann
Professor, Saarland UniversityFoundations of Artificial Intelligence
![Image of Kurt Mehlhorn](https://pdb.saarland-informatics-campus.de/uploads/images/m_m_kurt_mehlhorn_zugeschnitten.jpg)
Prof. Dr. Dr. h.c. mult. Kurt Mehlhorn
Seniorprofessor and Professor, Saarland UniversityAlgorithms and Complexity
![Image of Peter Ochs](https://pdb.saarland-informatics-campus.de/uploads/images/m_m_ochs_kl_zugeschnitten.jpg)
Prof. Dr. Peter Ochs
Professor, Department of Computer ScienceMathematics and Computer Science
![Image of Wolfgang J. Paul](https://pdb.saarland-informatics-campus.de/uploads/images/86227250ba3d4dbbb8ccc8d3a4985619.png)
Prof. Dr. Wolfgang J. Paul
Emeritus and Professor, Saarland UniversityComputer Architecture and Parallel Computing
![Image of Jan Reineke](https://pdb.saarland-informatics-campus.de/uploads/images/m_m_jan_reineke_zugeschnitten.jpg)
Prof. Dr. Jan Reineke
Professor, Saarland UniversityReal-Time and Embedded Systems
![Image of Gert Smolka](https://www.ps.uni-saarland.de/~smolka/pictures/gert-17.jpg)
Prof. Dr. Gert Smolka
Professor, Saarland UniversityProgramming Systems
![Image of Christoph Weidenbach](https://pdb.saarland-informatics-campus.de/uploads/images/m_m_christoph_weidenbach_zugeschnitten.jpg)
Prof. Dr. Christoph Weidenbach
Professor, Max Planck Institute for Informatics (MPI INF)Automation of Logic
Junior faculty in this field
![Image of Maria Christakis](https://pdb.saarland-informatics-campus.de/uploads/images/Maria_Christakis-225x300-e1527497100150.jpg)
Dr. Maria Christakis
Group Leader, Max Planck Institute for Software Systems (MPI SWS)Programming Languages & Verification
![Image of Eva Darulová](https://people.mpi-sws.org/~eva/images/Eva-Darulova.jpg)
Dr. Eva Darulová
Group Leader, Max Planck Institute for Software Systems (MPI SWS)Programming Languages, Software Verification, Approximate Computing
![Image of Andreas Karrenbauer](https://pdb.saarland-informatics-campus.de/uploads/images/m_andreas_karrenbauer.jpg)
Dr. Andreas Karrenbauer
Group Leader, Max Planck Institute for Informatics (MPI INF)Combinatorial Optimization
![Image of Christoph Lenzen](https://pdb.saarland-informatics-campus.de/uploads/images/m_christoph_lenzen.jpg)
Dr. Christoph Lenzen
Group Leader, Max Planck Institute for Informatics (MPI INF)Theory of Distributed and Embedded Systems
![Image of Thomas Sturm](https://science.thomas-sturm.de/images/333.jpg)
PD Dr. Thomas Sturm
Group Leader, Max Planck Institute for Informatics (MPI INF)Automated Reasoning and Nonlinear Arithmetic