Bhakti Shah

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

Latest