Write a Blog >>

Registered user since Thu 20 Aug 2015

Name: Philipp Ruemmer

Country: Sweden

Affiliation: Uppsala University

Personal website: http://www.philipp.ruemmer.org

Research interests: Program verification, theorem proving, SMT solving

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Activities