Andrei Formiga
Professor at Universidade Federal da Paraíba
Paraíba, Brazil
Summary
👤
Senior🎓
Top SchoolAndrei Formiga is a research-active professor and academic hacker with 16 years of experience bridging electrical/computer engineering research and practical software development in Brazil. Based at Universidade Federal da Paraíba, he teaches and researches topics from compilers and formal languages to data structures and AI, drawing on a PhD and master's from Universidade Federal de Pernambuco. His background includes industrial R&D (HP-affiliated imaging work), telephony and server systems, mobile/location prototypes, and early game-engine development—an unusually broad hands-on pedigree for an academic. Known for turning research ideas into prototypes and course-ready tools, he combines rigorous theory with production-minded implementation and a long track record of curriculum-building across multiple universities.
16 years of coding experience
5 years of employment as a software developer
Doutorado, Engenharia Elétrica/Computação, Doutorado, Engenharia Elétrica/Computação at Universidade Federal de PernambucoGraduação, Engenharia Elétrica, Graduação, Engenharia Elétrica at Universidade Federal de Campina Grande
Github Skills (100)
compiler10
rust10
science10
julia10
macros10
nim-lang10
syntax-highlighting10
rust-lang9
root-finding9
procedural9
programming-language9
parser9
metaprogramming9
ada9
rust-language9
Programming languages (17)
Github contributions (5)
tautologico/learning
Aug 2011 - Nov 2014
Contributions:128 commits in 3 years 3 months
tautologico/intro-comp
Jan 2014 - Nov 2014
Contributions:155 commits in 10 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.