During my PhD, my research activity has mostly been aligned in the direction of applying
formal methods to problems in numerical analysis and control theory. I have been working
at the intersection of formal methods and Computational mechanics (my undergraduate coursework
and research has primarily been in this field).
Besides research I enjoy outdoor activities like Kayaking, hiking etc. I like to workout and spend
time with nature. I also like to go on road trips and enjoy rock music. I like to
collect vinyl records. I am a huge fan of the AC/DC, Beatles and Deep Purple.
 Department of Aerospace engineering, University of Michigan, Ann arbor
 Department of Electrical engineering and Computer Science, University of Michigan, Ann arbor
W-MSR algorithm is a consensus algorithm in controls. We are working on verification of
a theorem in the Coq proof assistant, that provides sufficient and necessary conditions for
a distributed control systems to reach consensus. We specifically look at a case where there
are atmost F malicious nodes in the system that can disrupt information flow between uncorrupted
nodes in the network.
Research in Computational Fluid Dynamics
Active Flow Control for Drag Reduction in wall bounded Turbulent (May 2017 - July 2017)
Advisor: Prof. Mitul Luhar, Department of Aerospace and Mechanical engineering, University of Southern California, USA
Addressed challenges associated with feedback flow control that include development of an effective and robust control law, and development of small and reliable actuators
Implemented Genetic Algorithm (GA) based techniques to find optimal values of PID control law constants that suppress energetic velocity modes and reduce drag in turbulent flows
Fabricated a prototype of a piston-based actuator using 3-D printing
Employed scotch-yoke mechanism in the actuator to convert rotary motion of the motor shaft to linear motion of the piston
Instability and receptivity studies in Lid Driven Cavity Problem (September 2017 - April 2018)
Simulated and analyzed flow in a 2D Lid Driven Cavity
Successfully obtained a narrow range of optimal excitation amplitude responsible for onset of temporal instabilities in the system for Reynolds number in the range: 8000 - 8660
Carried Flow visualization studies and post processing using TecPlot
Redrew bifurcation curve using vorticity time series data with respect to specific numerical method to obtain reported critical Reynolds number by other researchers
Extended the exercise for 257 x 257 grid to finer grids: 513 x 513 and 1025 x 1025, and obtained similar results
I was a Graduate Teaching Assistant(GSI) for the course AERO 495 (Fundamentals of Aerospace Computing)
in the Fall 2019 and Fall 2020 semesters. This course is an introduction to programming in C,
computational sciences and embedded systems. I was responsible for conducting labs, grading homeworks and exams,
holding office hours.
Student feedback rating: 4.6/5.0 (Fall 2020)
Publications from my PhD research
Peer reviewed journals and conferences
Mohit K. 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.
Heiko Becker, Mohit K. Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin.
"Dandelion: Certified Approximations of Elementary Functions". In Thirteenth Conference on Interactive Theorem Proving, 2022[pdf]
Mohit K. 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[pdf] ([*]: equal contribution)
Under review at Peer reviewed conferences
Mohit K. Tekriwal, Joshua Miller, Jean-Baptiste Jeannin.
"Formal verification of iterative convergence for numerical solutions of differential equations". Submitted[pdf]
Mohit K. Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou.
"Formally verified asymptotic consensus in robust networks". Submitted[pdf]
Publications from my undergraduate research
Peer reviewed journals and conferences
V. K. Suman, Siva Viknesh S.,Mohit K. 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)DOI[pdf][cite].