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; please contact me if you are interested and want to know more.