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
Computational Complexity
Prof. Dr. Karl Bringmann
Professor, Saarland University
Algorithms and Complexity
Algorithms and Complexity
Prof. Dr. Derek Dreyer
Scientific Director, Max Planck Institute for Software Systems (MPI SWS)
Professor, Saarland University
Foundations of Programming
Professor, Saarland University
Foundations of Programming
Prof. Dr. Deepak Garg
Faculty (tenured), Max Planck Institute for Software Systems (MPI SWS)
Professor, Saarland University
Computer Security and Privacy, Formal Logic, Programming Languages
Professor, Saarland University
Computer Security and Privacy, Formal Logic, Programming Languages
Prof. Dr. Jörg Hoffmann
Professor, Saarland University
Foundations of Artificial Intelligence
Foundations of Artificial Intelligence
Prof. Dr. Benjamin Kaminski
Professor, Department of Computer Science
Quantitative Verification
Quantitative Verification
Prof. Dr. Peter Ochs
Professor, Department of Computer Science
Mathematics and Computer Science
Mathematics and Computer Science
Prof. Dr. Joël Ouaknine
Scientific Director, Max Planck Institute for Software Systems (MPI SWS)
Professor, Saarland University
Foundations of Algorithmic Verification
Professor, Saarland University
Foundations of Algorithmic Verification
Prof. Dr. Jan Reineke
Professor, Saarland University
Real-Time and Embedded Systems
Real-Time and Embedded Systems
Prof. Dr. Raimund Seidel
Professor, Saarland University
Theoretical Computer Science
Theoretical Computer Science
Prof. Dr. Christoph Weidenbach
Professor, Max Planck Institute for Informatics (MPI INF)
Professor, Saarland University
Automation of Logic
Professor, Saarland University
Automation of Logic
Dozenten/innen in diesem Gebiet
Dr. Maria Christakis
Group Leader, Max Planck Institute for Software Systems (MPI SWS)
Programming Languages & Verification
Programming Languages & Verification
Dr. Eva Darulová
Group Leader, Max Planck Institute for Software Systems (MPI SWS)
Programming Languages, Software Verification, Approximate Computing
Programming Languages, Software Verification, Approximate Computing
Prof. Dr. Andreas Karrenbauer
Group Leader, Max Planck Institute for Informatics (MPI INF)
Combinatorial Optimization
Combinatorial Optimization
Dr. Christoph Lenzen
Group Leader, Max Planck Institute for Informatics (MPI INF)
Theory of Distributed and Embedded Systems
Theory of Distributed and Embedded Systems
PD Dr. Thomas Sturm
Group Leader, Max Planck Institute for Informatics (MPI INF)
Automated Reasoning and Nonlinear Arithmetic
Automated Reasoning and Nonlinear Arithmetic
