• Main
  • Short CV
  • Contact
  • Service
• Publications
• Ongoing Projects
• Past Projects
• Teaching
• Photography

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

Prospective PhD students: We are currently looking for PhD students to work on SMT for strings and security; please contact me if you are interested and want to know more.