Tanner Duve
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolTanner Duve is a software engineer with a master’s in computer science and a background in mathematical logic, based in San Francisco and focused on the theoretical foundations of language, mathematics, and computation. With three years of industry experience at Nexus-XYZ working on a zkVM, he blends practical Rust engineering with deep interests in type theory, category theory, and functional programming (Lean, OCaml, Haskell). He is particularly drawn to formal verification and formalized mathematics, and is exploring applications of formal methods to AI and cryptography. Tanner’s profile reflects a researcher-engineer mindset: he ships systems while seeking provable correctness, bringing mathematical rigor to applied cryptographic and language problems. His personal site documents ongoing experiments and thinking at the intersection of types, categories, and secure computation.
3 years of coding experience
University of Pennsylvania
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (6)
mathematics10
in-progress10
computer-algebra-system9
theorem-proving9
computer-algebra8
math8
Programming languages (3)
Github contributions (5)
tannerduve/computability
Oct 2024 - Nov 2024
Contributions:32 pushes, 2 branches in 1 month
tannerduve/tannerduve.github.io
Dec 2023 - Jan 2024
Contributions:53 pushes, 1 branch in 13 days
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.