Philipp Rümmer

I am computer scientist and associate professor (docent) at the Department of Information Technology, Uppsala University. My research interests cover (but are not restricted to) the following areas:

Prospective PhD students: We are currently looking for PhD students to work on SMT for strings and security and verification + machine learning; please contact me if you are interested and want to know more about the positions.