Bhakti Shah
BS/MS Student →
PhD at St. Andrews
University of Chicago
I am a joint BS/MS student at the University of Chicago, majoring in Computer Science.
Interests
- Programming Languages
- Formal Verification