STAF 2023
Tue 18 - Fri 21 July 2023 Leicester, United Kingdom
Peter Backeman

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
Research interests:Formal Verification, SMT, Theorem Proving, Model checking

Contributions

Show activities from other conferences

STAF 2023-profile
View general profile