Vikram Goyal
Undergraduate Student at
National University of Singapore
Interests
Programming Languages
Formal Verification
Super Mario