Isabella Do Amaral
Founding Engineer at Riseup.net
São Paulo, Brazil
Summary
🤩
Rockstar🎓
Top SchoolIsabella Do Amaral is a systems-oriented founding engineer with 7 years of experience building performance-critical software across game engines, graphics, MLOps, and distributed AI platforms. She combines low-level C/C++ and Rust expertise with production MLOps — shipping a custom LLM batching/orchestration layer that tripled throughput and a self-hosted Whisper deployment for low-cost transcription. As founder of an indie game studio she implemented a work-stealing scheduler and ported 10+ libraries to cut runtime overhead and improve frame stability, and at Red Hat she reduced regressions with regression-tracking tests and language-agnostic API clients. Comfortable from SIMD and Vulkan to Kubernetes and FastAPI, she excels at squeezing latency and cost out of complex stacks while iterating rapidly. Based in São Paulo, she blends academic breadth in physics and computational math with pragmatic engineering that favors measurable impact.
7 years of coding experience
4 years of employment as a software developer
B.S. Molecular Sciences Mathematics and Computer Science, B.S. Molecular Sciences Mathematics and Computer Science at USP - Universidade de São PauloHigh School Automation Engineer Technology/Technician, High School Automation Engineer Technology/Technician at IFF - Instituto Federal Fluminense
Portuguese, English, Spanish, French, German, Finnish
Github Skills (194)
libgit210
overhead10
spotify10
ncurses10
hacklang10
puppet10
linux10
git-lfs10
rust10
cli10
git10
version-control10
mercurial10
hjson10
struct10
Programming languages (17)
Github contributions (5)
isinyaaa/kworkflow
Oct 2021 - Jun 2022
kw is our inglorious kernel developer workflow tool with a simple mission: reduce the overhead with infrastructure setup for Linux development
Contributions:1 PR, 75 pushes, 36 branches in 8 months
kernellinux-developmentoverheadlinuxinfrastructure
isinyaaa/isinyaaa
Mar 2021 - Jan 2025
Contributions:7 reviews, 48 pushes, 1 branch in 3 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.