About Me
Hello! I am a final-year Computer Science Undergraduate at Indian Institute of Technology, Madras. I am passionate about the area of programming languages and verification, and I would pursue it further during my PhD in UC Berkeley. I am fortunate to have worked with Prof. Ayon Chakraborty, Prof. Gopalakrishnan Srinivasan and Prof. KC Sivaramakrishnan.