_gabriel Sant'anna_
Associate Engineer
Brazil
Summary
👤
Senior🎓
Top SchoolGabriel Sant'anna is an associate engineer and computer scientist with eight years of hands-on experience building reliable systems at the intersection of embedded, distributed, and systems software. He has driven measurable production improvements—most notably a 5x throughput gain and 75% P99 latency reduction for Brazil’s digital signature timestamp platform—while coordinating zero-downtime OTA updates and hardening security policies. His background spans research-grade formal verification and performance work (including a peer-reviewed verification of WCET for Dijkstra’s token ring) to FPGA-accelerated video codec optimizations and highly concurrent infrastructure tooling at Meta. Now at Canonical, he brings a practical, evolution-minded approach to complex systems (echoed in his GitHub motto) that favors simple, working foundations that scale.
8 years of coding experience
4 years of employment as a software developer
Bachelor of Science - BS Computer Science, Bachelor of Science - BS Computer Science at Universidade Federal de Santa CatarinaExchange Embedded Systems and Connected Objects, Exchange Embedded Systems and Connected Objects at National School of Computer Science and Applied Mathematics of GrenobleTechnical/Vocational Degree Electronics, Technical/Vocational Degree Electronics at IFSC - Instituto Federal de Santa Catarina
Portuguese, English, French, Spanish
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (61)
javascript10
css10
firewall-rules10
nodejs10
gnu10
networking9
security9
ruby9
linux9
duplicate-detection9
firewall9
ruby-on-rails9
netfilter9
html9
web-development9
Programming languages (13)
Github contributions (5)
baioc/clox
Apr 2020 - Aug 2021
Contributions:47 commits, 7 pushes in 1 year 4 months
baioc/baioc.github.io
Jan 2019 - Jan 2023
Contributions:1 release, 74 commits, 104 pushes in 4 years
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.