Universität Regensburg
Philipp Rümmer
Anschrift:
Herr Prof. Dr. Philipp Rümmer
Universität Regensburg
Fakultät für Informatik und Data Science
Lehrstuhl für Theoretische Informatik
Universität Regensburg
Fakultät für Informatik und Data Science
Lehrstuhl für Theoretische Informatik
Straße:
Bajuwarenstraße 4
Ort:
93053 Regensburg
Tel.:
0941 943-68612
E-Mail:
Leistungsprofil:
Praxisrelevante Forschungsgebiete:- Formale Programmverifikation, Spezifikations- und Zwischensprachen
- Automatisches Beweisen
- Constraint/SMT Solving
- Automatenmethoden
- Anwendung von Machine Learning in Verifikation und Logik
Publikationen:
- https://dblp.uni-trier.de/pid/79/5611.html
Kooperationsangebot für die Wirtschaft / Praxis:
Bevorzugte Form der Kooperation:
- Beratung
- FuE
- Bachelor-/Master-/Diplomarbeit
- Doktorarbeit
Angebote der Zusammenarbeit:
- Anwendung von Verifikationsmethoden in der Softwareentwicklung
- Anwendung von Constraint/SMT Methoden für Planung oder Synthese
Bestehende Kooperationen:
Mit Hochschulen:
TU Kaiserslautern
Uppsala University, Schweden
Chalmers, Schweden
Zurück zur Liste
Falls dies ihr Profil ist, können Sie es hier nach dem Login bearbeiten.