Gabriel Ferreira
Brazil
Summary
👤
Senior🎓
Top SchoolGabriel Ferreira is a Senior Software Engineer with 11 years of experience specializing in AI-powered product systems and data-intensive applications, currently driving R&D for playful, science-backed K-12 learning products in Brazil. He combines deep academic training—a PhD in Software Engineering from Carnegie Mellon—with hands-on full-stack delivery across startups and enterprises, shipping features from ML prototypes to production dashboards and data pipelines. Gabriel has led small engineering teams, designed blockchain-native solutions, and built AI-driven features at companies like Fireflies.ai and AdQuick, demonstrating a rare blend of research rigor and product pragmatism. He is comfortable across languages and stacks (TypeScript, Python, Nest/Next, Flask, Celery, AWS, smart-contract tooling) and often tackles loosely defined problems that require both architectural vision and experimental proof-of-concept work. An experienced educator-turned-engineer, he brings clear technical documentation and mentoring instincts to cross-functional teams, plus an eye for translating learning science into interactive software.
11 years of coding experience
14 years of employment as a software developer
Doctor of Philosophy (PhD) , Software Engineering, Doctor of Philosophy (PhD) , Software Engineering at Carnegie Mellon University School of Computer ScienceMaster's degree, Computer Science, Master's degree, Computer Science at Universidade Federal de Uberlândia - UFU
Portuguese, English
Github Skills (1)
type-checking3
Programming languages (4)
Github contributions (5)
gabrielcsf/malicious-updates-icse2021
Feb 2021 - Sep 2022
Contributions:4 commits, 2 pushes in 1 year 7 months
gabrielcsf/TypeChef
Oct 2014 - Jun 2015
Type checking ifdef variability
Contributions:50 commits, 1 PR, 28 pushes in 8 months
type-checking
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.