Anna Becchi
Postdoctoral Researcher at USI Università della Svizzera italiana
Lugano, Ticino, Switzerland
Summary
👤
Senior🎓
Top SchoolAnna Becchi is a postdoctoral researcher at USI's Formal Verification and Security Lab with eight years of experience bridging academic research and applied software development. She focuses on SMT-based model checking, abstract interpretation, and program verification using Constrained Horn Clauses, with particular expertise in linear arithmetic. Anna completed a PhD in Computer Science at Università di Trento after earning top honors in her bachelor's and master's degrees, and she has hands-on industry experience as a software developer at FBK. Her profile reflects a blend of rigorous formal methods research and practical tooling experience, informed by an international research visit to the University of Waterloo. Based in Lugano, she brings a detail-oriented, mathematically grounded approach to verifying real-world software systems.
8 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Università di TrentoBachelor's degree, Computer Science, 110/110 with honors, Bachelor's degree, Computer Science, 110/110 with honors at Università degli Studi di ParmaMaster's degree, Computer Science, 110/110 with honors, Master's degree, Computer Science, 110/110 with honors at Università degli Studi di Udine
Github Skills (7)
smt9
verification9
formula9
python8
manipulation7
compiler1
cobol1
Programming languages (3)
Github contributions (5)
IdrissRio/DucktypeSystem
May 2018 - Jul 2018
A distributed DucktypeSystem 🦆
Contributions:102 commits, 53 pushes, 1 branch in 2 months
distributed
annabeks/annabeks.github.io
Apr 2024 - Feb 2025
Contributions:4 pushes, 1 branch in 10 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.