Researcher @Livermore_Lab, PhD @UMich, @IITKanpur alum, ex-@SandiaLabs, ex-research fellow @inria_sophia, @mpi_sws. Interested in PL, verification, numerics.
Livermore, CA
Based in India
- Tweets 235
- Following 109
- Followers 37
- Likes 362
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 馃榾
4
132
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.
1
108
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
2
116
A successful PhD defense.
Thus ends a 5 year long journey from a first gen IITian to a first gen Dr.
#PhDone #AcademicChatter
1
1
6
450
As a student of science who loves to experiment, cooked biryani with flavor of tequila. Turned out really awesome.
92
5 years of doing proofs in Coq got so into me, that this is how I celebrated a friend's PhD defense, lol.
#formalmethods
2
108
Captured Northern lights in Ann arbor, Michigan tonight, admist heavy cloud cover 馃榾. I wish we had a clear sky tonight.
3
624
Perks of living in Southern France, I can just take a train to the Hard rock cafe in Nice, and enjoy drinks with good music and sea view.
103
Baking after a long time... trying to bake some Christmas cookies.. hopefully this goes well 馃槵
1
78
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.
1
