Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mohit Tekriwal
conf.researchr.org general profile
ICFP 2024 profile
ICFP/SPLASH 2025 profile
NASA Formal Methods 2024 profile
Registered user since Mon 8 Apr 2024
Name:
Mohit Tekriwal
Country:
United States
Affiliation:
Lawrence Livermore National Laboratory
Contributions
2025
SPLASH
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
2024
ICFP
Committee Member in Artifact Evaluation Committe within the Artifact Evaluation-track
NFM
Author of Formalization of asymptotic convergence for Stationary Iterative Methods within the NFM 2024-track
Share
x
Thu 21 Nov 12:31