Researcher @Livermore_Lab, PhD @UMich, @IITKanpur alum, ex-@SandiaLabs, ex-research fellow @inria_sophia, @mpi_sws. Interested in PL, verification, numerics.

ID: 1389037310197469184

linkhttps://mohittkr.github.io/ calendar_today03-05-2021 02:01:25