POPL 2024
Wed 17 - Fri 19 January 2024 London, United Kingdom
Philipp Ruemmer

Registered user since Thu 20 Aug 2015

Name:Philipp Ruemmer
Country:Sweden
Affiliation:Uppsala University
Research interests:Program verification, theorem proving, SMT solving

Contributions

Show activities from other conferences

Using general profile