Home » Forschung » Formal Methods

Formal Methods

Kurzübersicht Forschungsfeld

„Ganz sicher“ zu sein ist das Ziel dieses Forschungsgebietes. Erkennt der Sensor den Aufprall früh genug, so dass der Airbag noch Zeit genug für die Entfaltung hat, um das Leben des Fahrers zu retten? Solche Fragen wollen Wissenschaftler für komplexe Software in allen Anwendungsgebieten beantworten können. Ihre Geheimwaffe dazu: Mathematische Logik und Wahrscheinlichkeiten.

Dieses Forschungsfeld der theoretischen Informatik ist in Saarbrücken im gesamten Fachbereich, sowie am Max-Planck Institut für Informatik mit zahlreichen Lehrstühlen und Nachwuchsgruppen, besonders ausgeprägt.

Professoren/innen in diesem Gebiet

Prof. Dr. Markus Bläser

Professor, Saarland University
Computational Complexity

Saarland University
Saarland Informatics Campus
Bldg. E1 3, R. 412
66123 Saarbrücken
Germany

+49 (0)681 302-5501

Prof. Dr. Cas Cremers

Professor, Helmholtz Center for Information Security (CISPA)
Security and Formal Methods

Helmholtz Center for Information Security (CISPA)
Saarland Informatics Campus
Bldg. E9 1, R. 106
66123 Saarbrücken
Germany

+49 (0)681 302-70986

Prof. Dr. Derek Dreyer

Professor, Max Planck Institute for Software Systems (MPI SWS)
Foundations of Programming

Max Planck Institute for Software Systems (MPI SWS)
Saarland Informatics Campus
Bldg. E1 5
66123 Saarbrücken
Germany

+49 (0)681 9303-8701

Prof. Dr. Bernd Finkbeiner

Professor, Saarland University and Helmholtz Center for Information Security (CISPA)
Reactive Systems

Saarland University
Saarland Informatics Campus
Bldg. E1 1, R. 111
66123 Saarbrücken
Germany

+49 (0)681 302-5651

Assistant: +49 (0)681 302-5650

Prof. Dr. Holger Hermanns

Professor, Saarland University
Dependable Systems and Software

Saarland University
Saarland Informatics Campus
Bldg. E1 3, R. 501
66123 Saarbrücken
Germany

+49 (0)681 302-5630

Assistant: +49 (0)681 302-5631

Prof. Dr. Tobias Marschall

Professor, Saarland University
Algorithms for Computational Genomics

Saarland University
Saarland Informatics Campus
Bldg. E2 1
66123 Saarbrücken
Germany

+49 (0)681 302-70880

Prof. Dr. Dr. h.c. mult. Kurt Mehlhorn

Scientific Director and Professor, Max Planck Institute for Informatics (MPI INF) and Saarland University
Algorithms and Complexity

Max Planck Institute for Informatics (MPI INF)
Saarland Informatics Campus
Bldg. E1 4
66123 Saarbrücken
Germany

+49 (0)681 9325-100

Prof. Dr. Joël Ouaknine

Scientific Director and Professor, Max Planck Institute for Software Systems (MPI SWS) and Saarland University
Software Systems

Max Planck Institute for Software Systems (MPI SWS)
Saarland Informatics Campus
Bldg. E1 5
66123 Saarbrücken
Germany

+49 (0)681 9303-9701

Prof. Dr. Wolfgang J. Paul

Seniorprofessor, Saarland University
Computer Architecture and Parallel Computing

Saarland University
Saarland Informatics Campus
Bldg. E1 3, R. 305
66123 Saarbrücken
Germany

+49 (0)681 302-2436

Prof. Dr. Jan Reineke

Professor, Saarland University
Real-Time and Embedded Systems

Saarland University
Saarland Informatics Campus
Bldg. E1 3, R. 410
66123 Saarbrücken
Germany

+49 (0)681 302-4448

Prof. Dr. Raimund Seidel

Professor, Saarland University
Theoretical Computer Science

Saarland University
Saarland Informatics Campus
Bldg. E1 3, R. 410
66123 Saarbrücken
Germany

+49 (0)681 302-4513

Prof. Dr. Gert Smolka

Professor, Saarland University
Programming Systems

Saarland University
Saarland Informatics Campus
Bldg. E1 3, R. 514
66123 Saarbrücken
Germany

+49 (0)681 302-5311

Assistant: +49 (0)681 302-5312

Prof. Dr. Christoph Weidenbach

Professor, Max Planck Institute for Informatics (MPI INF) and Saarland University
Automation of Logic

Max Planck Institute for Informatics (MPI INF)
Saarland Informatics Campus
Bldg. E1 4
66123 Saarbrücken
Germany

+49 (0)681 9325-2900

Prof. Dr. Verena Wolf

Professor, Saarland University
Modeling and Simulation

Saarland University
Saarland Informatics Campus
Bldg. E1 3, R. 303
66123 Saarbrücken
Germany

+49 (0)681 302-5586

Dozenten/innen in diesem Gebiet

Dr. Jasmin Christian Blanchette

Group Leader, Max Planck Institute for Informatics (MPI INF)
Automated Reasoning, Automatic Theorem Provers, Higher-Order Logic

Max Planck Institute for Informatics (MPI INF)
Saarland Informatics Campus
Bldg. E1 5, R. 621
66123 Saarbrücken
Germany

+49 (0)681 9325-2915

Dr. Karl Bringmann

Group Leader, Max Planck Institute for Informatics (MPI INF)
Combinatorics, Computing, and Randomness

Max Planck Institute for Informatics (MPI INF)
Saarland Informatics Campus
Bldg. E1 4, R. 305
66123 Saarbrücken
Germany

+49 (0)681 9325-1005

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
Bldg. G 26, R. 407
67663 Kaiserslautern
Germany

+49 (0)631 9303-9401

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
Bldg. E1 4
66123 Saarbrücken
Germany

+49 (0)681 9303-8101

Dr. Holger Dell

Group Leader, Cluster of Excellence "Multimodal Computing and Interaction" (MMCI)
Foundations of Exact Algorithms

Cluster of Excellence "Multimodal Computing and Interaction" (MMCI)
Saarland Informatics Campus
Bldg. E1 3, R. 414
66123 Saarbrücken
Germany

+49 (0)681 302-4447

Dr. Deepak Garg

Group Leader, 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
Bldg. E1 5, R. 412
66123 Saarbrücken
Germany

+49 (0)681 9303-9201

Dr. Christian Ikenmeyer

Group Leader, Max Planck Institute for Software Systems (MPI SWS)
Geometry and Algebra

Max Planck Institute for Software Systems (MPI SWS)
Saarland Informatics Campus
Bldg. E1 5, R. 436
66123 Saarbrücken
Germany

+49 (0)681 9303-9712

Dr. Andreas Karrenbauer

Group Leader, Max Planck Institute for Informatics (MPI INF)
Combinatorial Optimization

Max Planck Institute for Informatics (MPI INF)
Saarland Informatics Campus
Bldg. E1 4, R. 307
66123 Saarbrücken
Germany

+49 (0)681 9325-1007

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
Bldg. E1 4, R. 308
66123 Saarbrücken
Germany

+49 (0)681 9325-1008

Dr. Pauli Miettinen

Group Leader, Max Planck Institute for Informatics (MPI INF)
Algorithmic Data Analysis

Max Planck Institute for Informatics (MPI INF)
Saarland Informatics Campus
Bldg. E1 4, R. 412
66123 Saarbrücken
Germany

+49 (0)681 9325-5012

Dr. Daria Stepanova

Group Leader, Max Planck Institute for Informatics (MPI INF)
Semantic Data

Max Planck Institute for Informatics (MPI INF)
Saarland Informatics Campus
Bldg. E1 4, R. 404
66123 Saarbrücken
Germany

+49 (0)681 9325-5004

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
Bldg. E1 5, R. 608
66123 Saarbrücken
Germany

+49 (0)681 9325-2920

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
Bldg. G 26, R. 406
67663 Kaiserslautern
Germany

+49 (0)631 9303-8901

Nachwuchsgewinnung, Öffentlichkeitsarbeit und Technologietransfer am Saarland Informatics Campus werden unterstützt durch das Kompetenzzentrum Informatik Saarland, gefördert durch

Das Projekt Tandem an der Universität des Saarlandes verfolgt das Ziel, die für eine wirtschaftliche oder industrielle Verwertung interessanten Forschungsergebnisse der saarländischen Informatik und der Max-Planck Institute durch einen Inkubationsprozess soweit weiterzuentwickeln, dass entweder Investoren die Produkte kaufen oder lizenzieren, oder neue Unternehmen im Saarland gegründet werden. Begleitende Aktivitäten im Projekt umfassen nationale und internationale Öffentlichkeitsarbeit, Maßnahmen zur Förderung des Technologietransfers im Allgemeinen sowie Formate zur Nachwuchsakquise im Bereich der Informatik. Das Projekt Tandem trägt dazu bei, die saarländische Informatik und den Wirtschaftsstandort Saarland zu stärken.