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