
Registered user since Thu 20 Aug 2015
Name: Philipp Ruemmer
Bio: Philipp Rümmer is an Associate Professor at the IT Department of Uppsala University, Sweden. He received his PhD from Gothenburg University in 2008, and is generally interested in any kind of technology that is useful for program verification. Over the years, he has contributed to deductive verification methods (including the tools KeY and Boogie), developed software model checkers (including Eldarica and JayHorn), worked on theorem provers and SMT solvers (leading to a zoo of solvers, among others inhabited by Princess, Norn, Sloth, Ostrich, Trau, UppSAT), and investigated the application of verification methods in domains like Embedded Systems and Security. In 2013 he received the Oscar Award, Uppsala University’s most prestigious award for young researchers, and in 2014 the Best-paper Award of IJCAR.
Country: Sweden
Affiliation: Uppsala University
Personal website: http://www.philipp.ruemmer.org
Research interests: Program verification, theorem proving, SMT solving
Contributions
APLAS 2019 | Session Chair of Concurrency (part of Research Papers) Author of On Strings in Software Model Checking within the Keynote Talks-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
View general profile