He received his doctorate in Computer Science from Chalmers University and Gothenburg University in 2008. Before joining Uppsala University as an assistant professor, he has been research assistant at the Oxford University Computing Laboratory. His research interests include various directions in program verification, theorem proving and SMT reasoning, and application of such methods in the area of embedded systems. Philipp received the Oscar Prize of Uppsala University in 2013, for contributions to the field of program correctness, and the IJCAR best paper award in 2014; the theorem prover Princess resulting from his research won the TFA division of the theorem proving competition CASC in 2012.