Gustavo Varo
Principal Software Engineer at Microsoft
Boca Raton, Florida, United States
Summary
🤩
Rockstar🎓
Top SchoolGustavo Varo is a Principal Software Engineer with over 10 years of experience designing and delivering large-scale, high-quality software and integrations across cloud and on-premises environments. He has led engineering efforts at Microsoft and Apple, driving architecture, developer tools, and verified cryptography projects while coordinating teams of hundreds and managing offshore contributors. Known for blending entrepreneurial vision with engineering excellence, he specializes in systems and applications architecture, scalability, performance, and e-commerce and financial services solutions. Gustavo brings deep DevOps and CI/CD expertise—evident from contributions improving build and Docker pipelines for notable open-source projects like F* and HACL*—and a track record of shipping production-ready bindings and cross-platform tooling for .NET/Android. He mentors and develops people as much as systems, turning complex verification and security research into practical, deployable software. Based in Boca Raton, he combines hands-on implementation with business-focused delivery and customer passion.
10 years of coding experience
22 years of employment as a software developer
Master's degree Computer Software Engineering, Master's degree Computer Software Engineering at Harvard UniversityBachelor of Science - BS Computer Science, Bachelor of Science - BS Computer Science at Faculdades Associadas de São Paulo
English, Spanish, Portuguese
Github Skills (23)
build-script10
github-ci10
docker10
bash10
android-sdk10
dockers10
cicd10
netframework10
binding10
automation10
api10
build-automation10
dotnet-core10
automations10
csharp10
Programming languages (14)
Github contributions (5)
dotnet/android
Jun 2019 - Apr 2020
.NET for Android provides open-source bindings of the Android SDK for use with .NET managed languages such as C#
Role in this project:
Backend Developer
Backend DeveloperContributions:37 commits, 33 PRs, 203 pushes in 9 months
Contributions summary:Gustavo primarily contributed to the .NET for Android project by implementing new API bindings and modifying existing ones to support newer Android API levels. Their work includes enumification and stabilization of API-29, and adding support for API-R (Android 11). Furthermore, they addressed build and test issues, improved build processes, and maintained compatibility with existing code, demonstrating expertise in the .NET framework and Android SDK bindings. The user also worked on the build tools and API compatibility checks for Xamarin.Android.
dotnetandroidsdkcsharpxamarin
FStarLang/FStar
May 2018 - Jun 2019
A Proof-oriented Programming Language
Role in this project:DevOps Engineer
DevOps EngineerContributions:139 commits, 4 PRs, 552 pushes in 1 year 1 month
Contributions summary:Gustavo primarily focused on improving the F* build process. They modified build scripts, particularly those related to Docker container creation and test execution. Their contributions include fixing build outputs, adjusting thread configurations, and integrating changes from the CI scripts, indicating a focus on automation and continuous integration. The user also worked on updating the build definition and adding support for different build targets, which demonstrates their involvement in improving the project's overall build infrastructure.
homotopy-type-theorycoq-librarytype-theorysat-solvercompiler
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.