Jack Garzella
Graduate Student
San Diego, California, United States
Summary
👤
Senior🎓
Top SchoolJack Garzella is a fifth-year Math PhD student at UC San Diego specializing in algebraic geometry and number theory, with a unique research focus on leveraging modern GPUs to study algebraic varieties in characteristic p. With 11 years of programming experience and a background in iOS and React Native development, he is fluent in Swift, Julia, and Rust, and has extended formal verification tools like SMACK to new languages. His work blends deep theoretical math with practical computational experimentation—from finite-element and resistor-network inverse problems to computational number theory—reflecting a strong interdisciplinary bent. Based in San Diego, he brings both rigorous proof-based thinking and hands-on software engineering to research problems, often using Julia for numerical exploration and Rust/Swift for systems-level work.
11 years of coding experience
2 years of employment as a software developer
The University of UtahHigh School, High School at Juan Diego Catholic High School
English, Spanish
Github Skills (42)
verification10
rust10
smt10
llvm9
toolchain9
kernel8
react-native7
ios7
coding7
android7
operating-system6
fortran6
flang6
linear-algebra5
frontend5
Programming languages (8)
Github contributions (5)
jjgarzella/smack
Feb 2017 - Sep 2021
SMACK Software Verifier And Verification Toolchain
Contributions:69 pushes, 19 branches in 4 years 7 months
verifierverification-toolchainsmacktoolchainverification
soarlab/gandalv
Apr 2018 - May 2019
Contributions:47 commits, 1 push in 1 year 1 month
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.