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 (56)
algorithm10
markdown10
javascript10
open-source10
mathematical10
offline-app10
tactics10
real-time-systems10
syntax-highlighting10
obsidian10
smt10
math-library10
model-checking9
satisfiability9
search-engine9
Programming languages (16)
Github contributions (5)
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
sorting-algorithmstime-complexity
tomaz1502/Lam
Jul 2022 - Dec 2022
A formally verified interpreter for Lambda Calculus.
Contributions:86 commits, 14 PRs, 296 pushes in 5 months
interpreterlambda-calculus
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.