Philipp Rümmer is Professor in Computer Science at the University of Regensburg, Germany, and also holds a position as Associate Professor at Uppsala University, Sweden. He received his PhD from the University of Gothenburg in 2008. From 2009 until 2010, he was post-doc at Oxford University, before joining Uppsala University as Researcher and Assistant Professor in 2011, and the University of Regensburg as Full Professor in 2022. The research of Philipp Rümmer covers a wide range of topics related to SAT/SMT solving, automated reasoning, logic, automata theory, model checking, and program verification in general. Besides more than 100 research papers and articles, the work has led to several widely used software tools, including the SMT solver Ostrich and the Horn solver Eldarica.