Maisa Milena
Software Engineer at QuintoAndar
Brasília, Federal District, Brazil
Summary
🤩
Rockstar🎓
Top SchoolMaisa Santos is a versatile software engineer based in Brasília with 9 years of experience and a strong focus on mobile development, particularly iOS and recent Flutter work. She has shipped consumer-facing, high-traffic features at companies like PicPay and QuintoAndar, and has experience with architectures such as VIPER and Bloc, A/B testing, in-app purchases, and blockchain integrations. Her background spans full-stack and R&D roles—including contributions to language and tooling projects at Sunshine Cybernetics and the Ethereum Foundation—bringing both product delivery and experimental POC skills. A winner of an Apple WWDC scholarship, she blends polished UI/UX implementation with systems thinking and mentorship through code reviews and onboarding.
8 years of coding experience
6 years of employment as a software developer
Ensino Técnico, Computer Systems Networking and Telecommunications, Ensino Técnico, Computer Systems Networking and Telecommunications at IESBBacharelado em Sistemas de Informação, Sistemas de Informação, Bacharelado em Sistemas de Informação, Sistemas de Informação at Universidade Católica de BrasíliaMBA in Data Warehouse and Business Intelligence, MBA in Data Warehouse and Business Intelligence at Faculdade UnYLeYa
Portuguese, English
Github Skills (122)
game-development10
haskell10
operating-system10
dependent-types10
mod-manager10
journal10
theory10
formal-languages10
type-theory10
abaqus10
lambda-calculus10
designer10
functional-programming10
formal-verification9
clean-architecture9
Programming languages (13)
Github contributions (5)
VictorTaelin/Formality-Web-legacy
Mar 2019 - May 2019
Contributions:99 commits, 46 pushes, 6 branches in 2 months
Soonad/Moonad
Apr 2020 - Jun 2020
An upcoming operating system built on Type-Theory
Contributions:148 commits, 70 PRs, 90 pushes in 1 month
operating-systemoperatingtheorytype-theory
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.