ChiQP-Lab
ChiQP-Lab
Publications
People
News
Contact
Jacob Zweifler
Undergraduate →
PhD at UMich
University of Michigan
I am a fourth year student at the University of Chicago majoring in math and computer science.
Interests
Theoretical Mathematics
Programming Languages
Quantum Computing
Formal Verification
Complexity Theory
Latest
QuantumLib: A Library for Quantum Computing in Coq
Formal Verification of Gottesman Semantics
Cite
×