Tiago Ferreira
Software Engineer at MixRank
Minas Gerais, Brazil
Summary
🤩
Rockstar🎓
Top SchoolTiago Ferreira is a software engineer with eight years of experience blending practical full-stack development and formal methods research. Currently at MixRank, he brings prior hands-on experience building apps with React/React Native and Node.js and has worked on compilers and functional programming at startups like UwU Tech. He is pursuing advanced studies in computer science (MSc-level work at Brazilian universities) and has a side interest in formal mathematics and computation, which informs his preference for elegant, provably correct solutions. Known for trying new approaches to familiar problems, Tiago moves comfortably between research settings and product engineering, making him adept at turning formal ideas into working systems.
8 years of coding experience
3 years of employment as a software developer
Bachelor's degree, Information systems, Bachelor's degree, Information systems at Universidade Federal dos Vales do Jequitinhonha e MucuriMaster's degree, Computer science, Master's degree, Computer science at Universidade Estadual de CampinasComputer Science MSc, Computer Science MSc at Universidade Federal de Minas Gerais
Stackoverflow
538reputation
5kreached
19answers
6questions
Github Skills (40)
lambda-calculus10
dependent-types10
functional-programming10
type-theory10
haskell10
programming-language9
proof-assistant9
logic9
category-theory8
expressive8
sdk8
browser8
agda8
nodejs8
stack-based8
Programming languages (8)
Github contributions (5)
caotic123/PomPom-Language
Jun 2021 - Oct 2021
The cuteness implementation of a dependently typed language.
Contributions:37 commits, 2 PRs, 44 pushes in 3 months
dependent-typespolymorphismhomotopy-type-theorytyped-languagecontrol-flow
caotic123/Grr-Programming-Language
Mar 2018 - Jan 2020
Contributions:54 commits, 46 pushes, 4 branches in 1 year 9 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.