Bhakti Shah

Bhakti Shah

Undergraduate

University of Chicago

I am a second year undergraduate student at the University of Chicago, majoring in Computer Science and Mathematics.

Interests
  • Programming Languages
  • Formal Verification