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
Prof. Dr. Markus Bläser
Professor, Saarland University
Computational Complexity
Saarland University
Saarland Informatics Campus
E1 3, R. 412
66123 Saarbrücken
Germany
+49 681 302-5501
Assistant: +49 681 302-3434
Image of Karl Bringmann
Prof. Dr. Karl Bringmann
Professor, Saarland University
Algorithms and Complexity
Saarland University
Saarland Informatics Campus
E1 3, R. 414
66123 Saarbrücken
Germany
+49 681 302-4447
Image of Cas Cremers
Prof. Dr. Cas Cremers
Professor, CISPA Helmholtz Center for Information Security
Security and Formal Methods
CISPA Helmholtz Center for Information Security
Saarland Informatics Campus
E9 1, R. 106
66123 Saarbrücken
Germany
+49 681 302-70986
Image of Derek Dreyer
Prof. Dr. Derek Dreyer
Scientific Director and Professor, Max Planck Institute for Software Systems (MPI SWS)
Foundations of Programming
Max Planck Institute for Software Systems (MPI SWS)
Saarland Informatics Campus
E1 5
66123 Saarbrücken
Germany
+49 681 9303-8701
Image of Bernd Finkbeiner
Prof. Dr. Bernd Finkbeiner
Professor, CISPA Helmholtz Center for Information Security
Reactive Systems
CISPA Helmholtz Center for Information Security
Saarland Informatics Campus
E1 1, R. 111
66123 Saarbrücken
Germany
+49 681 302-5651
Assistant: +49 681 302-5650
Image of Deepak Garg
Prof. Dr. Deepak Garg
Professor, Max Planck Institute for Software Systems (MPI SWS)
Computer Security and Privacy, Formal Logic, Programming Languages
Max Planck Institute for Software Systems (MPI SWS)
Saarland Informatics Campus
E1 5, R. 412
66123 Saarbrücken
Germany
+49 681 9303-9201
Image of Holger Hermanns
Prof. Dr. Holger Hermanns
Professor, Saarland University
Dependable Systems and Software
Saarland University
Saarland Informatics Campus
E1 3, R. 501
66123 Saarbrücken
Germany
+49 681 302-5631
Image of Jörg Hoffmann
Prof. Dr. Jörg Hoffmann
Professor, Saarland University
Foundations of Artificial Intelligence
Saarland University
Saarland Informatics Campus
E1 1, R. 318
66123 Saarbrücken
Germany
+49 681 302-71471
Assistant: +49 681 302-70141
Image of Benjamin Kaminski
Prof. Dr. Benjamin Kaminski
Professor, Department of Computer Science
Quantitative Verification
Department of Computer Science
Saarland Informatics Campus
E1 3, R. 506
66133 Saarbücken
Germany
Image of Kurt Mehlhorn
Prof. Dr. Dr. h.c. mult. Kurt Mehlhorn
Seniorprofessor and Professor, Saarland University
Algorithms and Complexity
Saarland University
Saarland Informatics Campus
E1 4
66123 Saarbrücken
Germany
+49 681 9325-100
Image of Peter Ochs
Prof. Dr. Peter Ochs
Professor, Department of Computer Science
Mathematics and Computer Science
Department of Computer Science
Saarland Informatics Campus
E1 1, R. 406
66123 Saarbrücken
Germany
Image of Joël Ouaknine
Prof. Dr. Joël Ouaknine
Scientific Director and Professor, Max Planck Institute for Software Systems (MPI SWS)
Foundations of Algorithmic Verification
Max Planck Institute for Software Systems (MPI SWS)
Saarland Informatics Campus
E1 5
66123 Saarbrücken
Germany
+49 681 9303-9701
Image of Wolfgang J. Paul
Prof. Dr. Wolfgang J. Paul
Emeritus and Professor, Saarland University
Computer Architecture and Parallel Computing
Saarland University E1 3, R. 305
66123 Saarbrücken
Germany
+49 681 302-2436
Image of Jan Reineke
Prof. Dr. Jan Reineke
Professor, Saarland University
Real-Time and Embedded Systems
Saarland University
Saarland Informatics Campus
E1 3, R. 410
66123 Saarbrücken
Germany
+49 681 302-4448
Image of Raimund Seidel
Prof. Dr. Raimund Seidel
Professor, Saarland University
Theoretical Computer Science
Saarland University
Saarland Informatics Campus
E1 3, R. 410
66123 Saarbrücken
Germany
+49 681 302-4513
Image of Gert Smolka
Prof. Dr. Gert Smolka
Professor, Saarland University
Programming Systems
Saarland University
Saarland Informatics Campus
E1 3, R. 514
66123 Saarbrücken
Germany
+49 681 302-5311
Assistant: +49 681 302-5312
Image of Christoph Weidenbach
Prof. Dr. Christoph Weidenbach
Professor, Max Planck Institute for Informatics (MPI INF)
Automation of Logic
Max Planck Institute for Informatics (MPI INF)
Saarland Informatics Campus
E1 4
66123 Saarbrücken
Germany
+49 681 9325-2900
Image of Verena Wolf
Prof. Dr. Verena Wolf
Professor, Saarland University
Modeling and Simulation
Saarland University
Saarland Informatics Campus
E1 3, R. 303
66123 Saarbrücken
Germany
+49 681 302-5586

Junior faculty in this field

Image of Maria Christakis
Dr. Maria Christakis
Group Leader, Max Planck Institute for Software Systems (MPI SWS)
Programming Languages & Verification
Max Planck Institute for Software Systems (MPI SWS)
Paul-Ehrlich Strasse G26 G 26, R. 407
67663 Kaiserslautern
Germany
+49 631 9303-9401
Image of Eva Darulová
Dr. Eva Darulová
Group Leader, Max Planck Institute for Software Systems (MPI SWS)
Programming Languages, Software Verification, Approximate Computing
Max Planck Institute for Software Systems (MPI SWS)
Saarland Informatics Campus
E1 4
66123 Saarbrücken
Germany
+49 681 9303-8101
Image of Swen Jacobs
PD Dr. Swen Jacobs
Group Leader, CISPA Helmholtz Center for Information Security
Formal Methods, Concurrent and Distributed Systems
CISPA Helmholtz Center for Information Security
Kaiserstraße 170-174 B6.2, R. 2.05
66386 St. Ingbert
Germany
+49 681 302-5666
Image of Andreas Karrenbauer
Dr. Andreas Karrenbauer
Group Leader, Max Planck Institute for Informatics (MPI INF)
Combinatorial Optimization
Max Planck Institute for Informatics (MPI INF)
Saarland Informatics Campus
E1 4, R. 307
66123 Saarbrücken
Germany
+49 681 9325-1007
Image of Christoph Lenzen
Dr. Christoph Lenzen
Group Leader, Max Planck Institute for Informatics (MPI INF)
Theory of Distributed and Embedded Systems
Max Planck Institute for Informatics (MPI INF)
Saarland Informatics Campus
E1 4, R. 308
66123 Saarbrücken
Germany
+49 681 9325-1008
Image of Daria Stepanova
Dr. Daria Stepanova
Group Leader, Max Planck Institute for Informatics (MPI INF)
Semantic Data
Max Planck Institute for Informatics (MPI INF)
Saarland Informatics Campus
E1 4, R. 404
66123 Saarbrücken
Germany
+49 681 9325-5004
Image of Thomas Sturm
PD Dr. Thomas Sturm
Group Leader, Max Planck Institute for Informatics (MPI INF)
Automated Reasoning and Nonlinear Arithmetic
Max Planck Institute for Informatics (MPI INF)
Saarland Informatics Campus
E1 5, R. 608
66123 Saarbrücken
Germany
+49 681 9325-2920
Image of Georg Zetzsche
Dr. Georg Zetzsche
Group Leader, Max Planck Institute for Software Systems (MPI SWS)
Max Planck Institute for Software Systems (MPI SWS)
Paul-Ehrlich Strasse G26 G 26, R. 406
67663 Kaiserslautern
Germany
+49 631 9303-8901