Henrique Matulis
Software Engineer at Google
Old Toronto, Ontario, Canada
Summary
👤
Senior🎓
Top SchoolHenrique Matulis is a software engineer at Google with a decade of experience delivering scalable software and systems. Based in Old Toronto, he blends hands-on development with a strong foundation in theoretical computer science, distributed computing, numerical analysis, and formal methods such as SMT solvers and type systems. Since 2020 he has contributed to Google’s core engineering efforts, and earlier roles include building MVPs, migrating internal tools, and designing secure data pipelines. His background also spans teaching calculus, tutoring, and delivering end-to-end solutions for small businesses, including NFC-enabled tracking and security-conscious web and server architectures. He holds a BS in Computer Science from the University of Toronto - Victoria University. He stands out for turning abstract, rigorous ideas into practical, auditable software that ships.
10 years of coding experience
1 year of employment as a software developer
Bachelor of Science - BS, Computer Science, Bachelor of Science - BS, Computer Science at University of Toronto - Victoria UniversityHigh School, High School at Leaside High School
English, Portuguese
Github Skills (15)
gcp7
golang6
rust6
mdbook6
google-cloud-platform6
google-cloud5
interpreter5
prometheus5
kubernetes5
programming-language4
language-design3
rust-lang3
compiler3
javascript1
react1
Programming languages (2)
Github contributions (5)
FinnLandLab/Lantern
Aug 2017 - May 2018
Contributions:54 commits, 19 pushes, 1 branch in 9 months
HenriqueMatulis/HenriqueMatulis.github.io
Jan 2016 - Nov 2024
Contributions:50 pushes, 1 branch in 9 years
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.