Guilherme Azzi
Backend Engineer at Babbel
Berlin, Germany
Summary
👤
Senior🎓
Top SchoolGuilherme Azzi is a backend engineer based in Berlin with 14 years of software and research experience, currently building resilient systems at Babbel. He transitioned from an academic career in programming languages and formal verification to practical engineering, bringing deep expertise in Python, JavaScript, Haskell and Elm. His background includes organizing large university courses, leading grant-backed research projects, and implementing production web frontends integrated with C++ GUIs. Passionate about code readability, testing and collaborative team culture, he excels at turning rigorous, research-grade ideas into maintainable production code. An uncommon strength is his fluency across paradigms—from functional languages to reactive JavaScript—which helps him design robust, well-tested backends that bridge research and product needs.
14 years of coding experience
4 years of employment as a software developer
Master’s Degree, Computer Science, Master’s Degree, Computer Science at Federal University of Rio Grande do SulBachelor of Science - BS, Computer Science, 1,2, Bachelor of Science - BS, Computer Science, 1,2 at Technische Universität Berlin
English, Portuguese, German, Spanish
Github Skills (43)
rewriting10
verification10
graph9
specification9
haskell9
category-theory9
parser7
jar6
abstract-syntax-tree6
parsing5
java5
python5
pure-python4
parser-generator4
organize4
Programming languages (6)
Github contributions (5)
ggazzi/latex-templates
Mar 2018 - Jul 2022
Contributions:1 release, 27 commits, 20 pushes in 4 years 5 months
ggazzi/dotfiles
May 2017 - Mar 2025
Contributions:132 pushes, 18 branches, 7 issues in 7 years 11 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.