Fernanda Andrade
Back-end Developer at Zencastr
Spain
Summary
👤
Senior🎓
Top SchoolFernanda Andrade is a Back-end Developer and tech lead with over a decade of experience building reliable, type-safe APIs and production systems. With a Master's in Formal Methods and early experience debugging payment protocols at the bit level, she blends formal rigor with practical engineering to make systems more correct and resilient. She has led and scaled engineering teams across multiple countries, defined technical strategy as VP of Engineering, and driven CI/CD, messaging, and architectural work for enterprise clients. Comfortable with Haskell and TypeScript, she favors strong type systems, functional principles, and thorough testing to reduce runtime surprises. Now based in Spain and contributing to high-impact products, she pairs mentorship and people-first leadership with deep technical curiosity that surfaces in conference talks and open-source involvement.
10 years of coding experience
10 years of employment as a software developer
Engineer's degree Telecommunications, Engineer's degree Telecommunications at Universidad de las Fuerzas Armadas - ESPEMSc in Formal Methods in Computer Science and Engineering, MSc in Formal Methods in Computer Science and Engineering at Universidad Politécnica de Madrid
Spanish, English
Stackoverflow
181reputation
25kreached
7answers
0questions
Github Skills (105)
google-authentication10
react-google-login10
harvest10
user-guide10
capistrano10
google-login9
galaxy9
cli9
google-api9
koajs9
spotlight9
contentful9
sequelize-cli9
retrofit8
gmail-api8
Programming languages (7)
Github contributions (5)
flandrade/my-mac
Sep 2020 - Aug 2024
Completely automated Mac setup using Ansible 💾
Contributions:9 PRs, 30 pushes, 10 branches in 4 years
provisioningansiblemacautomationansible-playbook
flandrade/dataset-interactive-algorithms
Jan 2017 - Apr 2017
Contributions:3 commits, 5 pushes, 1 branch in 2 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.