ECBS 2023
Mon 16 - Wed 18 October 2023 Västerås, Sweden
Peter Backeman

Registered user since Wed 7 Dec 2022

Name:Peter Backeman
Bio:

PostDoc, Mälardalen University, 2020- PhD Computer Science, Uppsala University, 2014-2019 BSc & MSc Computer Science, Uppsala University, 2007-2014

Country:Sweden
Affiliation:Mälardalen University
Research interests:Formal Verification, SMT, Theorem Proving

Contributions

Show activities from other conferences

Using general profile