Registered user since Wed 7 Dec 2022
Name:Peter Backeman
Bio:
Adjunct Senior Lecturer 2023- PostDoc, Mälardalen University, 2020-2022 PhD Computer Science, Uppsala University, 2014-2019 BSc & MSc Computer Science, Uppsala University, 2007-2014
Country:Sweden
Affiliation:Mälardalen University
Personal website: http://www.es.mdh.se/staff/4393-Peter__Backeman
Research interests:Formal Verification, SMT, Theorem Proving, Model checking
Contributions
STAF 2023-profile
View general profile
View general profile