Brandon Gomes
Owner at MVUP Internet Corporation
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolBrandon Gomes is a software engineer and founder in New York with 11 years of experience focused on privacy-first systems and formal verification. He has moved from research-grade formalization work—formalizing parts of the Riemann Hypothesis in Lean and building integrations with mathlib—to leading engineering teams and technology strategy as CTO at p0x labs. A Rust specialist who later founded MVUP Internet Corporation, he contributes to prominent open-source cryptography projects like plonky2, where he stabilized core prover components and removed unstable features. His background in physics and math (BS, Rutgers) informs a rigorous, proof-oriented approach to software design and secure system architecture. Brandon’s personal motto—“writing secure software before the AI gets here”—reflects a proactive stance on security and robustness in emerging AI-era infrastructure. He blends deep academic training with hands-on backend engineering and startup leadership.
11 years of coding experience
4 years of employment as a software developer
High School Diploma, High School Diploma at Summit High SchoolBachelor of Science - BS Mathematics and Physics, Bachelor of Science - BS Mathematics and Physics at Rutgers University
English, Spanish, Portuguese
Stackoverflow
868reputation
57kreached
6answers
9questions
Github Skills (11)
proofs10
proof10
rust10
cryptography10
nested6
symbolic-math6
caffe6
javascript6
macos6
python6
julia6
Programming languages (19)
Github contributions (5)
0xPolygonZero/plonky2
Nov 2022 - Nov 2022
Role in this project:
Back-end Developer
Back-end DeveloperContributions:9 reviews, 18 commits, 1 PR in 13 days
Contributions summary:Brandon primarily focused on fixing core replacements and removing unstable features within the plonky2 repository. Their commits included code modifications in various files, such as `prover.rs`, `gates/high_degree_interpolation.rs`, `gates/exponentiation.rs`, `gates/random_access.rs`, and `fri/structure.rs`, as well as other relevant files. These modifications suggest the user was involved in refining the core functionalities and structure of the project.
bhgomes/tracker
Apr 2018 - Oct 2019
particle tracking algorithm
Contributions:2 PRs, 203 pushes, 1 comment in 1 year 7 months
tracking-algorithm
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.