Philipp Rümmer
I am computer scientist and associate professor (docent) at
the Department of Information
Technology, Uppsala University. My 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