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:
- Theorem proving (automated and interactive)
- Reasoning in integer and real arithmetic
- Analysis of programs written in languages like Java, C#, C, C++,
Simulink
- Deductive program verification
- Software model checking
- Automated generation of test cases
- Software modelling
- Embedded software (in particular automotive and avionics area)
- Concurrent software
- Language-based security