ChiQP-Lab
ChiQP-Lab
Publications
People
News
Contact
Bhakti Shah
Undergraduate
University of Chicago
I am a joint BS/MS student at the University of Chicago, majoring in Computer Science.
Interests
Programming Languages
Formal Verification
Latest
Integrating Dependency Building with Document Checking in Coq
A Lean Formalization of Cedar
Visualizing Graphical Proofs in Coq
Cite
×