Andrei Costa
Senior Backend Engineer at Demand.io
Rio Grande do Sul, Brazil
Summary
👤
Senior🎓
Top SchoolAndrei Costa is a senior backend engineer with a decade of experience delivering scalable services across fintech and web platforms in Brazil. Proficient in PHP, JavaScript, Haskell, C, Python, and Java, he brings a rare blend of practical backend engineering and formal methods training to architecture and implementation. He holds an MSc in Computer Science and a strong academic foundation from Universidade Federal de Pelotas and UFRGS, including formal methods specialization, enabling robust, verifiable software design. Currently, he serves as Senior Backend Engineer at Demand.io, after leading technology architecture at ADP Brazil Labs and shaping backend systems at Nelogica. Based in Rio Grande do Sul, he combines hands-on delivery with a breadth of experience in leadership roles and cross-domain projects. He stands out for applying rigorous university-level concepts to real-world production systems, balancing performance, reliability, and maintainability.
10 years of coding experience
7 years of employment as a software developer
Ciência da Computação, Métodos Formais, Ciência da Computação, Métodos Formais at Universidade Federal de PelotasMestrado, Computer Science, Mestrado, Computer Science at Universidade Federal do Rio Grande do Sul
Portuguese, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (8)
verification10
rewriting10
haskell9
specification9
category-theory9
graph9
javascript1
browser1
Programming languages (2)
Github contributions (5)
andreicosta/chess
Jul 2017 - Jul 2017
Contributions:40 commits, 52 pushes, 5 branches in 11 days
andrei529/part
Aug 2015 - Jan 2016
Contributions:74 pushes, 1 branch in 4 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.