Philipp Rümmer ist Professor für Informatik an der Universität Regensburg, Deutschland, und hat außerdem eine Stelle als außerordentlicher Professor an der Universität Uppsala, Schweden. Seinen Doktortitel erhielt er 2008 von der Universität Göteborg. Von 2009 bis 2010 war er Post-Doc an der Universität Oxford, bevor er 2011 als Forscher und Assistenzprofessor an die Universität Uppsala und 2022 als ordentlicher Professor an die Universität Regensburg wechselte. Die Forschung von Philipp Rümmer deckt ein breites Spektrum an Themen im Zusammenhang mit SAT/SMT-Lösungen, automatisiertem Schließen, Logik, Automatentheorie, Model Checking und Programmverifikation im Allgemeinen ab. Neben mehr als 100 Forschungsarbeiten und -artikeln hat die Arbeit zu mehreren weit verbreiteten Software-Tools geführt, darunter der SMT-Löser Ostrich und der Horn-Löser Eldarica.