Mohit Kumar Tekriwal
Research Scientist
COMP / CASC DIV / Center for Applied Scientific Computing Division
Biography
Mohit Tekriwal joined the Center for Applied Scientific Computing (CASC) in October 2023 as a postdoctoral researcher and is currently a formal methods research scientist. His research focuses on applied formal methods. He is currently involved with a project related to application of formal methods to additive manufacturing, where he has worked on mechanizing a subset of the RS274/NGC command language, which are relevant to 3D printing, and on the design of a verified interpreter for 3D printing. He is the principal investigator for VISTA project, funded by the DOE/NSF ASCR correctness program, where he is leading the development of a scalable verification approach for large scientific libraries. He is also involved with efforts related to Trustworthy SI.
He earned his Bachelors in Technology (B.Tech) in Aerospace Engineering from Indian Institute of Technology, Kanpur in India, and a MSE and Ph.D in Aerospace engineering from University of Michigan, Ann Arbor.
Education
- Ph.D. Dept. of Aerospace Engineering, University of Michigan, Ann Arbor
- MSE, Dept. of Aerospace Engineering, University of Michigan, Ann Arbor
- B.Tech (B.S.), Dept. of Aerospace Engineering, Indian Institute of Technology (IIT), Kanpur, India
Publications
2025 3 publications
- Yihan Yang, Mohit Tekriwal, John Sarracino, Matthew Sottile, Ignacio Laguna "Towards Verified Linear Algebra Programs through Equivalence". In The Eleventh International Workshop on Coq for Programming Languages (CoqPL), 2025 (co-located with POPL, 2025)
- Mohit Tekriwal, Matthew Sottile "Mechanized RS274 semantics for additive manufacturing" Inthe NASA Formal methods Symposium (NFM), 2025.
- Matthew Sottile, Mohit Tekriwal, and John Sarracino, "Towards Richer Challenge Problems for Scientific Computing Correctness" In The International Workshop on Verification of Scientific Software (VSS), 2025
2024 3 publications
- Matthew Sottile, Mohit Tekriwal. "Design and implementation of a verified interpreter for additive manufacturing programs". In the ACM SIGPLAN workshop for functional software architecture (FUNARCH), 2024. (co-located with ICFP, 2024)
- Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin. "Formalization of asymptotic convergence for Stationary Iterative Methods". In the NASA Formal Methods (NFM), 2024
- Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou. "Formally verified asymptotic consensus in robust networks". In the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2024.
2023 2 publications
- Mohit Tekriwal, Andrew W. Appel, Ariel E. Kellison, David Bindel, Jean-Baptiste Jeannin. "Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method". In 16th Conference on Intelligent Computer Mathematics, 2023
- Ariel E. Kellison, Andrew W. Appel, Mohit Tekriwal, David Bindel. "LAProof: a library of formal accuracy and correctness proofs for sparse linear algebra programs". In 30th IEEE International Symposium on Computer Arithmetic, 2023
2022 2 publications
- Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin. "Dandelion: Certified Approximations of Elementary Functions". In Thirteenth Conference on Interactive Theorem Proving, 2022
- Mohit Tekriwal, Ariel Kellison, Jean-Baptiste Jeannin, Geoffrey Hulette. "Towards Verified Rounding-Error Analysis for Stationary Iterative Methods". In Software Correctness workshop for high performance computing, 2022
2021 1 publication
- Mohit Tekriwal, Karthik Duraisamy, Jean-Baptiste Jeannin. "A formal proof of the Lax equivalence theorem in finite difference schemes". In 13th NASA Formal Methods Symposium, 2021.
2019 1 publication
- V. K. Suman, Siva Viknesh S.,Mohit Tekriwal, Swagata Bhaumik, Tapan K. Sengupta. "Grid sensitivity and role of error in computing a lid-driven cavity problem". In Phys. Rev. E 99, 013305. (2019).