Gabrielle Oliveira
Software Engineer at CloudWalk, Inc.
São Paulo, Brazil
Summary
🤩
Rockstar🎓
Top SchoolGabrielle Oliveira is a software engineer based in São Paulo with seven years of experience building high-performance systems across finance, distributed systems, and low-level engineering. She has driven large-scale initiatives such as a cross-team database migration in the Pix/cryptography space and rewrites of legacy payments infrastructure while improving developer experience with AI tooling. Comfortable across Rust, Clojure, .NET, and async systems, Gabrielle has shipped microservices, domain-specific languages, zkSTARK research, and optimized blockchain miners. Her recent work at CloudWalk and Renlabs blends production-grade async Rust and actor-model designs with cryptographic and runtime upgrades that measurably increased stability and efficiency. Known for pairing formal-methods rigor with pragmatic system design, she also brings an atypical sense of humor to engineering culture.
6 years of coding experience
4 years of employment as a software developer
Web Development Technician, General Studies, Web Development Technician, General Studies at COTEMIG - Colégio e Faculdade
Portuguese, English
Github Skills (182)
minecraft10
parser10
rust-lang10
rust10
type-theory10
assertion10
text-editor10
kotlin10
lambda-calculus10
rewrite10
ide10
plugin10
syntax-highlighting10
quilt10
dependent-types9
Programming languages (21)
Github contributions (5)
aripiprazole/soft
Mar 2023 - Jan 2024
🧪 | Lisp with REPL and macros which will compile itself
Contributions:2 releases, 15 reviews, 19 PRs in 10 months
incrementallispllvm
andesite-io/andesite
Nov 2021 - Oct 2022
🪨 | Minecraft java and bedrock library
Contributions:14 releases, 10 reviews, 238 commits in 11 months
minecraftbedrockprotocolbukkitkotlin
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.