Tomaz Mascarenhas
PhD. Student at UFMG
Minas Gerais, Brazil
Summary
🤩
Rockstar🎓
Top SchoolTomaz Mascarenhas is a formal methods and functional programming researcher with 7 years of experience bridging academia and industry. Currently a PhD student at UFMG, he focuses on reconstructing proofs in nonlinear arithmetic for proof assistants and previously integrated Lean with SMT solvers during his MSc. He has applied his type-theory expertise in industry roles—from developing a Haskell-based compiler and Plutus smart contracts at imagine.ai to building metaheuristics for routing optimization at Accenture. Tomaz also gained research engineering experience at CNRS and automated reasoning exposure during an AWS Applied Scientist internship. A competitive programmer (regional and national ICPC silver medals) who publishes educational projects on GitHub, he combines deep theoretical knowledge with practical engineering across compilers, verification, and automated solvers. Notably, he leverages both proof assistants and SMT tooling to offload routine proof obligations, accelerating formal verification workflows.
7 years of coding experience
2 years of employment as a software developer
MSc., Computer Science, MSc., Computer Science at Universidade Federal de Minas GeraisHigh School Diploma, High School Diploma at Colégio Santo Agostinho
Github Skills (81)
mathematical10
real-time-systems10
highlighting10
prismic10
javascript10
in-progress10
computer-algebra-system10
smt10
prismjs10
mathematics10
highlightjs10
tactics10
obsidian10
open-source10
offline-app10
Programming languages (12)
Github contributions (5)
tomaz1502/Lam
Jul 2022 - Dec 2022
Contributions:86 commits, 13 PRs, 287 pushes in 5 months
tomaz1502/RunTimeFormalization
Jan 2021 - May 2022
BSc Final Project: Formalizing run time complexity of sorting algorithms using Lean
Contributions:48 commits, 49 pushes, 1 branch in 1 year 4 months
bsccomplexitysortingleansorting-algorithms
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.