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 馃榾
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.
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
One of the coolest slides I have recently seen in the recently concluded Coq mathcomp winter school.. Interesting way to explain SSReflect tactics in Coq.