
Registered user since Tue 31 Oct 2023
Name:Philipp Rümmer
Bio:His research interests cover (but are not restricted to) the following areas:
Theorem proving and decision procedures, SAT/SMT solving
Analysis of programs written in languages like Java, C#, C, C++, Simulink
Modeling and analysis of timed/parameterised/concurrent systems
Deductive verification, model checking, automatic test case generation
Machine learning, automata learning, artificial intelligence, and their application in verification (and vice versa)
Embedded systems and software
Philipp Rümmer is a professor of theoretical Computer Science at the University of Regensburg. He also hold a position as Senior Lecturer at the Department of Information Technology, Uppsala University.
Country:Germany
Affiliation:University of Regensburg and Uppsala University
Contributions
FSEN 2025-profile
View general profile
View general profile