FSEN 2025
Mon 7 - Tue 8 April 2025 Västerås, Sweden
FSEN 2025 (series) / Research Papers /

Talk by Philipp Rümmer

FSEN 2025 Research Papers

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.

  • 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

    Philipp Rümmer

    University of Regensburg and Uppsala University