Nishant Sinha
Papers
2
Total Citations
4
H-Index
2
About
Nishant Sinha is a computer scientist whose research centers on formal verification, program analysis, and software reliability. His most cited work, "Efficient Verification of Periodic Programs using Sequential Consistency and Snapshots" (2014, 2 citations), addresses the critical challenge of verifying safety properties in real-time embedded systems. Sinha’s major contribution lies in developing a novel approach to verify periodic programs—those with threads activated at regular intervals and scheduled preemptively by priority. He adapts Lamport’s sequential consistency model to generate a provably correct verification condition (VC), enabling efficient, automated checking of program correctness without exhaustive state exploration. This work is notable for bridging theoretical verification frameworks with practical, priority-driven scheduling constraints, offering a scalable solution for safety-critical applications like avionics and automotive control. While his citation count is modest, the technical depth and precision of his method have influenced subsequent research in real-time system verification. Sinha’s work exemplifies how rigorous formal methods can be tailored to industrial-scale software, making him a valuable contributor to the field of dependable computing.
Research Focus
Key Achievements
Top Papers
- 1
- 2