Thomas Bernardi
Software Engineer at Certora
Seattle, Washington, United States
Summary
👤
Senior🎓
Top SchoolThomas Bernardi is a software engineer and University of Washington senior specializing in formal verification for blockchain, currently developing Certora’s verification tools for Ethereum smart contracts. With nine years of hands-on experience across internships at Certora, Arista Networks, and research work at LIRMM/INRIA, he blends compiler and theorem-proving background with practical full-stack and consulting experience. He has strong academics (3.92 GPA, exchange at University of Montpellier) and a track record of integrating arithmetic theories into automated solvers. Active in his community, he volunteers at a local food bank and brings leadership from nearly a decade in Future Problem Solving as both participant and evaluator. An avid runner and PNW hiker, he pairs technical rigor with real-world collaboration and client-facing problem solving.
9 years of coding experience
2 years of employment as a software developer
Bachelor’s Degree, Computer Science, 3.92/4.0, Bachelor’s Degree, Computer Science, 3.92/4.0 at University of WashingtonHigh School, STEM, Senior, High School, STEM, Senior at Glacier Peak High SchoolExchange Program, Computer Science, 17.83/20, Exchange Program, Computer Science, 17.83/20 at University of MontpellierCathart Elementary SchoolValley View Middle School
Github Skills (18)
programming-language10
solidity10
contract10
dapps-development10
ethereum10
blockchain10
smart-contracts10
cpp10
bearing5
solver4
grammars3
logic3
relational-algebra3
synthesis2
relational2
Programming languages (6)
Github contributions (5)
thomasbernardi/thomasbernardi.github.io
Oct 2018 - Oct 2019
Personal Site
Contributions:14 pushes, 1 branch in 11 months
Certora/solidity
Oct 2019 - Dec 2019
Solidity, the Contract-Oriented Programming Language
Contributions:5 pushes in 1 month
ethereuminheritancecontractblockchainplutus
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.