Philipp Rümmer's Homepage
I'm computer scientist and assistant professor (forskare/researcher) at
the Department of Information
Technology, Uppsala University. 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