Philipp Rümmer (Preferred)
Philipp Rümmer
Full Professor, FIDS, Universität Regensburg
Lecturer, IT, Uppsala University
Joined
February 2026
Names
Emails
****@it.uu.se (Confirmed)
****@gmx.net (Confirmed)
****@ur.de (Confirmed)
Personal Links
Career & Education History
Full Professor
FIDS, Universität Regensburg (ur.de)
2022 – Present
Lecturer
IT, Uppsala University (uu.se)
2011 – Present
Postdoc
Computer Science, University of Oxford (oxford.ac.uk)
2009 – 2010
PhD student
IT, Göteborg University (gu.se)
2004 – 2008
Advisors, Relations & Conflicts
Expertise
Formal Verification
Present
Constraint Solving
Present
Logic
Present
Publications
No publications