Seite auswählen

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

Image of Markus Bläser
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
E-Mail
Homepage
Image of Cas Cremers
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
E-Mail
Homepage
Image of Derek Dreyer
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
E-Mail
Homepage
Image of Bernd Finkbeiner
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
E-Mail
Homepage
Image of Holger Hermanns
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
E-Mail
Homepage
Image of Tobias Marschall
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
E-Mail
Homepage
Image of Kurt Mehlhorn
Prof. Dr. Dr. h.c. mult. Kurt Mehlhorn
Scientific Director and Emeritus, 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
E-Mail
Homepage
Image of Joël Ouaknine
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
E-Mail
Homepage
Image of Wolfgang J. Paul
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
E-Mail
Homepage
Image of Jan Reineke
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
E-Mail
Homepage
Image of Raimund Seidel
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
E-Mail
Homepage
Image of Gert Smolka
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
E-Mail
Homepage
Image of Christoph Weidenbach
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
E-Mail
Homepage
Image of Verena Wolf
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
E-Mail
Homepage

Dozenten/innen in diesem Gebiet

Image of Jasmin Christian Blanchette
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
E-Mail
Homepage
Image of Karl Bringmann
Prof. Dr. Karl Bringmann
Professor, 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
E-Mail
Homepage
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
Bldg. G 26, R. 407
67663 Kaiserslautern
Germany
+49 (0)631 9303-9401
E-Mail
Homepage
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
Bldg. E1 4
66123 Saarbrücken
Germany
+49 (0)681 9303-8101
E-Mail
Homepage
Image of Holger Dell
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
E-Mail
Homepage
Image of Deepak Garg
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
E-Mail
Homepage
Image of Christian Ikenmeyer
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
E-Mail
Homepage
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
Bldg. E1 4, R. 307
66123 Saarbrücken
Germany
+49 (0)681 9325-1007
E-Mail
Homepage
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
Bldg. E1 4, R. 308
66123 Saarbrücken
Germany
+49 (0)681 9325-1008
E-Mail
Homepage
Image of Pauli Miettinen
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
E-Mail
Homepage
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
Bldg. E1 4, R. 404
66123 Saarbrücken
Germany
+49 (0)681 9325-5004
E-Mail
Homepage
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
Bldg. E1 5, R. 608
66123 Saarbrücken
Germany
+49 (0)681 9325-2920
E-Mail
Homepage
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
Bldg. G 26, R. 406
67663 Kaiserslautern
Germany
+49 (0)631 9303-8901
E-Mail
Homepage

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

Logo Europäischer Fonds für regionale Entwicklung
Weitere Infos

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 Ö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.

Logo Staatskanzlei Saarland