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 UniversityComputational Complexity
Prof. Dr. Karl Bringmann
Professor, Saarland UniversityAlgorithms and Complexity
Prof. Dr. Derek Dreyer
Professor, Max Planck Institute for Software Systems (MPI SWS) and Saarland UniversityFoundations of Programming
Prof. Dr. Bernd Finkbeiner
Professor, Saarland University and Helmholtz Center for Information Security (CISPA)Reactive Systems
Prof. Dr. Deepak Garg
Professor, Max Planck Institute for Software Systems (MPI SWS) and Saarland UniversityComputer Security and Privacy, Formal Logic, Programming Languages
Prof. Dr. Holger Hermanns
Professor, Saarland UniversityDependable Systems and Software
Prof. Dr. Dr. h.c. mult. Kurt Mehlhorn
Seniorprofessor, Saarland UniversityAlgorithms and Complexity
Prof. Dr. Wolfgang J. Paul
Seniorprofessor, Saarland UniversityComputer Architecture and Parallel Computing
Prof. Dr. Jan Reineke
Professor, Saarland UniversityReal-Time and Embedded Systems
Prof. Dr. Gert Smolka
Professor, Saarland UniversityProgramming Systems
Prof. Dr. Christoph Weidenbach
Professor, Max Planck Institute for Informatics (MPI INF) and Saarland UniversityAutomation of Logic
Dozenten/innen in diesem Gebiet
Dr. Maria Christakis
Group Leader, Max Planck Institute for Software Systems (MPI SWS)Programming Languages & Verification
Dr. Eva Darulová
Group Leader, Max Planck Institute for Software Systems (MPI SWS)Programming Languages, Software Verification, Approximate Computing
Dr. Christoph Lenzen
Group Leader, Max Planck Institute for Informatics (MPI INF)Theory of Distributed and Embedded Systems
Ph.D. Daniel Marx
Group Leader, Max Planck Institute for Informatics (MPI INF)Parameterized Algorithms & Complexity
PD Dr. Thomas Sturm
Group Leader, Max Planck Institute for Informatics (MPI INF)Automated Reasoning and Nonlinear Arithmetic
