Researcher @Livermore_Lab, PhD @UMich, @IITKanpur alum, ex-@SandiaLabs, ex-research fellow @inria_sophia, @mpi_sws. Interested in PL, verification, numerics.
Livermore, CA
- Tweets 235
- Following 109
- Followers 37
- Likes 362
