Leonardo Bellettini
Senior CPU Verification Engineer
Cambridge, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolLeonardo Bellettini is a Senior CPU Verification Engineer with nine years of experience in CPU design verification at Arm, where he progressed from Graduate Engineer to his current senior role. Trained in biomedical engineering (Università di Bologna) and specialized with a master’s in electrical and electronic engineering (Politecnico di Torino), he blends system-level understanding with deep hardware verification expertise. A lifelong maker and DIY enthusiast, he actively shares hardware and IoT projects on GitHub and Thingiverse, reflecting a hands-on approach to prototyping and tooling. Based in Cambridge, he pairs academic rigor with practical experience validating complex CPU microarchitectures and verification infrastructures. Quietly curious and interdisciplinary, he often draws on biomedical and IoT perspectives to find unconventional solutions in verification workflows.
9 years of coding experience
3 years of employment as a software developer
University of BolognaLaurea Magistrale LM, Electrical and Electronics Engineering, Laurea Magistrale LM, Electrical and Electronics Engineering at Politecnico di Torino
English, Italian
Github Skills (200)
unicorns10
browser10
compose10
fade10
firefox10
api10
infrared10
temperature-sensor10
octoprint10
esp826610
desktop10
python10
windows10
sound-synthesis10
arduino-library10
Programming languages (12)
Github contributions (5)
leobel96/LambdaBooth
Jul 2018 - Feb 2019
📷 A simple guide to make a photobooth running on Python 3 and a Raspberry Pi
Contributions:23 commits, 2 PRs, 16 pushes in 7 months
raspberry-pipythonraspberrypython-3python3
leobel96/The-Homepage
Sep 2020 - Dec 2022
Contributions:20 pushes, 6 branches in 2 years 3 months
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.