Fernanda Andrade
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 (80)
google-authentication10
react-google-login10
cdma10
harvest10
user-guide10
google-login10
google-api10
capistrano10
matlab9
galaxy9
cli9
csrf-token9
react-native9
ios9
spotlight9
Programming languages (8)
Github contributions (5)
flandrade/my-mac
Sep 2020 - Feb 2026
Completely automated Mac setup using Ansible đź’ľ
Contributions:9 PRs, 32 pushes, 10 branches in 5 years 6 months
ansibleansible-playbookmacosprovisioning
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.