ChiQP-Lab
ChiQP-Lab
Publications
People
News
Contact
Jacob Zweifler
Undergraduate →
MA at NYU
New York University
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
Formal Verification of Gottesman Semantics
Cite
×