Tanner Duve
Member of Technical Staff @ Logical Intelligence
About
Master's degree in computer science and a bachelor's degree in mathematical logic. Broadly interested in the logical foundations of language, mathematics, and computation. I believe in mathematically principled approaches to correct software development, and I believe the best tools for this are pure, (dependently) typed, functional languages. Academic interests include category theory, type theory, and mathematical logic.Site: tannerduve.github.io
United States
Los Angeles Metropolitan Area
Computer Software
Lean (Programming Language), Haskell, Rust (Programming Language), OCaml, Formal Verification, Compilers, Automated Reasoning, Functional Programming, Formal Methods, Category Theory, Mathematical Logic, SMT, Cryptography, Teaching, Mathematics, Algorithm Design, Theoretical Computer Science, Algorithms, Blockchain, Artificial Intelligence (AI)
Experience
Member of Technical Staff
Logical Intelligence
San Francisco Bay Area
Focusing on compilers, program logics and semantics, and theorem proving in Lean.
Member of Technical Staff
Nexus
San Francisco
Building performant and trustworthy systems in Rust across blockchain and zero-knowledge cryptography
Formalized Mathematics Developer
Harmonic
Formalizing math proofs in Lean for AI that can reason. Part time contracting position.
Applied Scientist (Automated Reasoning Group)
Amazon Web Services (AWS)
California, United States
Worked on the Cedar language
Theoretical Computer Science Teaching Assistant
University of Pennsylvania
Computer science teaching assistant for: CIS 5110 - Graduate Theory of Computation CIS 5020 - Graduate Algorithms CIS 2620 - Undergraduate Theory of Computation
Researcher in Interactive Theorem Proving - NSF LSAMP Scholar
University of Pennsylvania
Philadelphia, Pennsylvania, United States
Programming Languages Research Assistant
University of Pennsylvania
Philadelphia, Pennsylvania, United States
Applied Scientist
Amazon Web Services (AWS)
California, United States
Fuzzing, concurrency control testing
Data Science Intern - Meta
Meta
Menlo Park, California, United States
Education
University of Pennsylvania
Computer Science
Concentration in Programming Language Foundations
University of Pennsylvania
Mathematical Logic
Foundations of mathematics and computation
Tanner Duve's Contact Information
Phone
Find the Right Leads
Find Verified Contact Data
What LeadContact does well
Find verified emails, phone numbers, and decision-makers with 98% accuracy.
Find Leads
Find the right people by company, role, industry, location, and more.
925M+ professional profiles
Find Emails
Access verified email addresses for your target contacts.
657M+ emails
Find Phone Numbers
Get cross-validated phone data from multiple top sources.
239M+ phone numbers
More Accurate. Lower Cost.
Find contact data in 1 tool with 98% accuracy
LeadContact integrates leading enrichment tools to deliver more accurate contact data—without paying for each one.
Great conversations start with the right contact.
It’s time to find yours.