FSEN 2025
Mon 7 - Tue 8 April 2025 Västerås, Sweden
Philipp Rümmer

Registered user since Tue 31 Oct 2023

Name:Philipp Rümmer
Bio:

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
  • Country:Germany
    Affiliation:University of Regensburg and Uppsala University

    Contributions

    Show activities from other conferences

    FSEN 2025-profile
    View general profile