Warning: Undefined variable $institut2 in /var/www/html/wp-content/plugins/sicweb_people_frontend/sicweb_people_frontend.php on line 178
Warning: Undefined variable $institut2 in /var/www/html/wp-content/plugins/sicweb_people_frontend/sicweb_people_frontend.php on line 178
Warning: Undefined variable $institut2 in /var/www/html/wp-content/plugins/sicweb_people_frontend/sicweb_people_frontend.php on line 178
Warning: Undefined variable $institut2 in /var/www/html/wp-content/plugins/sicweb_people_frontend/sicweb_people_frontend.php on line 178
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
Saarland UniversitySaarland Informatics Campus
E1 3, R. 41266123 SaarbrückenGermany
+49 681 302-5501
Assistant: +49 681 302-3434
Prof. Dr. Karl Bringmann
Professor, Saarland UniversityAlgorithms and Complexity
Saarland UniversitySaarland Informatics Campus
E1 3, R. 41466123 SaarbrückenGermany
+49 681 302-4447
Prof. Dr. Cas Cremers
Professor, CISPA Helmholtz Center for Information SecuritySecurity and Formal Methods
CISPA Helmholtz Center for Information SecuritySaarland Informatics Campus
E9 1, R. 10666123 SaarbrückenGermany
+49 681 302-70986
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 566123 SaarbrückenGermany
+49 681 9303-8701
Prof. Dr. Bernd Finkbeiner
Professor, CISPA Helmholtz Center for Information SecurityReactive Systems
CISPA Helmholtz Center for Information SecuritySaarland Informatics Campus
E1 1, R. 11166123 SaarbrückenGermany
+49 681 302-5651
Assistant: +49 681 302-5650
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. 41266123 SaarbrückenGermany
+49 681 9303-9201
Prof. Dr. Holger Hermanns
Professor, Saarland UniversityDependable Systems and Software
Saarland UniversitySaarland Informatics Campus
E1 3, R. 50166123 SaarbrückenGermany
+49 681 302-5631
Prof. Dr. Jörg Hoffmann
Professor, Saarland UniversityFoundations of Artificial Intelligence
Saarland UniversitySaarland Informatics Campus
E1 1, R. 31866123 SaarbrückenGermany
+49 681 302-71471
Assistant: +49 681 302-70141
Prof. Dr. Benjamin Kaminski
Professor, Department of Computer ScienceQuantitative Verification
Department of Computer ScienceSaarland Informatics Campus
E1 3, R. 50666133 SaarbückenGermany
Prof. Dr. Dr. h.c. mult. Kurt Mehlhorn
Seniorprofessor and Professor, Saarland UniversityAlgorithms and Complexity
Saarland UniversitySaarland Informatics Campus
E1 466123 SaarbrückenGermany
+49 681 9325-100
Prof. Dr. Peter Ochs
Professor, Department of Computer ScienceMathematics and Computer Science
Department of Computer ScienceSaarland Informatics Campus
E1 1, R. 40666123 SaarbrückenGermany
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 566123 SaarbrückenGermany
+49 681 9303-9701
Prof. Dr. Wolfgang J. Paul
Emeritus and Professor, Saarland UniversityComputer Architecture and Parallel Computing
Saarland University E1 3, R. 30566123 SaarbrückenGermany
+49 681 302-2436
Prof. Dr. Jan Reineke
Professor, Saarland UniversityReal-Time and Embedded Systems
Saarland UniversitySaarland Informatics Campus
E1 3, R. 41066123 SaarbrückenGermany
+49 681 302-4448
Prof. Dr. Raimund Seidel
Professor, Saarland UniversityTheoretical Computer Science
Saarland UniversitySaarland Informatics Campus
E1 3, R. 41066123 SaarbrückenGermany
+49 681 302-4513
Prof. Dr. Gert Smolka
Professor, Saarland UniversityProgramming Systems
Saarland UniversitySaarland Informatics Campus
E1 3, R. 51466123 SaarbrückenGermany
+49 681 302-5311
Assistant: +49 681 302-5312
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 466123 SaarbrückenGermany
+49 681 9325-2900
Prof. Dr. Verena Wolf
Professor, Saarland UniversityModeling and Simulation
Saarland UniversitySaarland Informatics Campus
E1 3, R. 30366123 SaarbrückenGermany
+49 681 302-5586
Dozenten/innen in diesem Gebiet
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. 40767663 KaiserslauternGermany
+49 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
E1 466123 SaarbrückenGermany
+49 681 9303-8101
PD Dr. Swen Jacobs
Group Leader, CISPA Helmholtz Center for Information SecurityFormal Methods, Concurrent and Distributed Systems
CISPA Helmholtz Center for Information SecurityKaiserstraße 170-174 B6.2, R. 2.0566386 St. IngbertGermany
+49 681 302-5666
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. 30766123 SaarbrückenGermany
+49 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
E1 4, R. 30866123 SaarbrückenGermany
+49 681 9325-1008
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. 40466123 SaarbrückenGermany
+49 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
E1 5, R. 60866123 SaarbrückenGermany
+49 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 G 26, R. 40667663 KaiserslauternGermany
+49 631 9303-8901
