Philipp Rümmer's Homepage

I'm a computer scientist and work as research assistant in Daniel Kroening's group at the Oxford University Computing Laboratory (you might also want to visit my official homepage at the lab). My research interests cover (but are not restricted to) the following areas: