Really interesting keynote at @icfp_conference on refinement types.

Some official LLNL pics from the open house. Can't believe it's been over a month in the lab.

Excited to interact with my juniors at IITK and share my experience at core.

One really good thing about physical conferences is that you get to meet really interesting people and share beer with them. Finally met @mukesh_tiwari 😀 – at Cambridge, England

In Cambridge for the CICM conference. Looking forward to connecting with like minded people. If you are interested to learn more about my research and are attending the conference, please stop by at 11:30 am, Sept 6, to attend my paper presentation.

Professor, undergrad, PhD candidate.

Life update: I am elated to announce that I will soon be starting as a formal methods researcher at the Lawrence Livermore National Labs. To the new beginnings! #NewProfilePic

A successful PhD defense. Thus ends a 5 year long journey from a first gen IITian to a first gen Dr. #PhDone #AcademicChatter

As a student of science who loves to experiment, cooked biryani with flavor of tequila. Turned out really awesome.

What a treat!! Fun fact: Prof. Gilbert Strang spent 3/4 of his life at MIT!!