Philipp Rümmer

Full Professor, FIDS, Universität Regensburg

Lecturer, IT, Uppsala University

  • Joined February 2026

Names

Philipp Rümmer (Preferred)

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

No relations added

Expertise

Formal Verification
Present
 
Constraint Solving
Present
 
Logic
Present