HTTP/2 200 date: Fri, 16 Jan 2026 04:50:53 GMT server: Apache/2.4.66 (Unix) vary: User-Agent accept-ranges: bytes content-type: text/html

Philipp Rümmer

Professor of Theoretical Computer Science at the University of Regensburg.

I also hold a position as Senior Lecturer 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