ECBS 2024 (series) / Peter Backeman
![Peter Backeman](https://conf.researchr.org/getProfileImage/peterbackeman/11367e2d-2c77-49d8-a849-89fcd9b5c5c4/small.jpg?1711486788000)
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
GitHub: https://github.com/ptrbman
Research interests:Formal Verification, SMT, Theorem Proving
Contributions
Using general profile