Sergio Bonatto
Founder & Blockchain Engineer at Agoriz
Brasília, Federal District, Brazil
Summary
🤩
Rockstar🎓
Top SchoolSergio Bonatto is a founder and blockchain engineer with six years of hands-on experience building backend systems, APIs, and performance-critical applications, now leading Agoriz — a Stripe-like decentralized payments platform that automates fees, limits, and real-time monitoring via smart contracts. He combines practical web engineering (React, secure APIs, payment systems) with a deep interest in functional programming and formal methods from stints using Haskell and Agda, bringing rigorous correctness thinking to production blockchain code. His background spans game development, UI design, and early customer-facing roles, giving him a pragmatic product sense and attention to user experience and performance. Based in Brasília, he blends entrepreneurial grit with open-source curiosity and an eclectic personal profile—self-taught, philosophically engaged, and balancing technical work with life as a father.
6 years of coding experience
2 years of employment as a software developer
Bacharelado, Teologia/Estudos Teológicos, trancado por mudança de cidade (para uma onde não há o curso), Bacharelado, Teologia/Estudos Teológicos, trancado por mudança de cidade (para uma onde não há o curso) at IFETE
English
Github Skills (32)
lambda-calculus10
dependent-types9
functional-programming9
type-theory9
haskell8
proof-assistant8
programming-language7
rio6
combinatorics5
algebra4
highlight4
vscode-plugin4
merge3
extend3
coq3
Programming languages (7)
Github contributions (5)
SergioBonatto/SergioBonatto
Aug 2020 - Feb 2025
Contributions:59 pushes, 1 branch in 4 years 6 months
HigherOrderCO/Software-Foundations-In-Kind
Sep 2022 - Feb 2023
Contributions:108 commits, 125 pushes in 5 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.