Mahesh Viswanathan
Papers
2
Total Citations
38
H-Index
2
About
Mahesh Viswanathan is a leading figure in formal methods, whose research centers on the verification and analysis of hybrid systems—systems that blend continuous physical dynamics with discrete computational control. His work provides the theoretical foundations and practical tools essential for ensuring the safety and reliability of safety-critical cyber-physical systems, from autonomous vehicles to medical devices. Viswanathan’s major contributions include pioneering advances in statistical model checking, a technique that uses probabilistic sampling to verify complex systems where traditional exhaustive methods are infeasible. His highly cited paper, "Statistical model checking: challenges and perspectives" (2015, 32 citations), serves as a definitive roadmap for the field, outlining both its potential and its open problems. He has also been instrumental in developing and disseminating powerful verification tools, as demonstrated by his tutorial on C2E2, HyST, and TuLiP (2016, 6 citations), which has become a key resource for practitioners. Through his deep theoretical insights and commitment to building usable software, Viswanathan has profoundly shaped how engineers and researchers reason about the correctness of the increasingly complex systems that underpin modern technology.
Research Focus
Key Achievements
Top Papers
- 1Statistical model checking: challenges and perspectives32 citations · 2015
- 2