Peter Backeman
PostDoc at Mälardalen University
Uppsala, Uppsala County, Sweden
Summary
👤
Senior🎓
Top SchoolPeter Backeman is a research-focused software engineer and PostDoc with 12 years of experience bridging formal methods and practical tooling, currently based at Mälardalen University. He earned his PhD at Uppsala University studying quantifier handling in SMT solvers and non-linear arithmetic for theorem proving, combining deep theoretical expertise with hands-on implementation. Comfortable in both academic and applied settings, he has a background in software development and internships that inform a pragmatic approach to complex verification problems. A lifelong learner fluent in Japanese studies at Waseda, he brings cross-cultural curiosity and persistence to long-term research challenges.
12 years of coding experience
JLPT, Japanese, JLPT, Japanese at 早稲田大学 / Waseda UniversityUpper Secondary School, IT, Upper Secondary School, IT at IT-GymnasietBachelor of Science, Computer Science, Bachelor of Science, Computer Science at Uppsala universitet
Swedish, English, Japanese
Github Skills (6)
solver9
smt8
python1
pypi1
libclang1
clang1
Programming languages (4)
Github contributions (5)
uuverifiers/bct
Nov 2018 - Mar 2019
Contributions:101 commits, 43 pushes in 3 months
uuverifiers/uppsat
Oct 2016 - Jun 2021
An approximating SMT solver
Contributions:1 release, 277 commits, 2 PRs in 4 years 9 months
smt-solversolversmt
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.