Mohit Tekriwal
Formal Methods Research Scientist @Lawrence Livermore National Laboratory
Livermore, CA, US
EMAILS
MOBILE NUMBERS
+91 *********19
Signup · Get unlimited contacts
WORK HISTORY
May 2025 — Present
Formal Methods Research Scientist @Lawrence Livermore National Laboratory
View department →
EDUCATION
2014 — 2018
Indian Institute of Technology, Kanpur
B tech
2018 — 2020
University of Michigan
Masters of Sci
2018 — 2023
University of Michigan
Doctor of Philosophy - PhD
ABOUT MOHIT TEKRIWAL
I am currently a formal methods researcher at the Lawrence Livermore National Laboratory.…
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.