BITS Pilani

  • Page last updated on Friday, March 25, 2022

Research Interest

Research Interest

Research interests. Dependability and high performance computing, Cyber-physical systems, Application of formal methods, Requirement engineering, Cyber-risk management.
Software Tools 
1. The AFMT simulator, available at:  (a joint work with my students: Siddhant Singh, Rohan Kela, Bhavesh Narra)
Research agenda.

Modern day infrastructures are complex systems with several inter-dependencies between the   components, human-in-loop, etc. Moreover, these infrastructures are increasingly being connected with public networks. As a result, a failure in one component may result into a sequence of failure of other components. This may result into cascading damages, stall the entire system leading to its unavailability and even lead to the loss of lives. The aim of my research is to build trustworthy systems – systems that are safe and secure and are also resilient. I accomplish my goal by advancing quantitative risk management theories, building models and analyzing them to find the disruption scenarios, predict likelihood of disruption and propose cost-effective countermeasures to block the most damaging disruption scenarios. Technically, I achieve the aforementioned goal through state-of-the-art model checking techniques. Additionally, I consider “poor elicitation of requirements” as one of the striking crisis of the software industry. Hence, I am also interested in the development of formal specification languages.


Quick Links

    An Institution Deemed to be University estd. vide Sec.3 of the UGC Act,1956 under notification # F.12-23/63.U-2 of Jun 18,1964

    © 2022 Centre for Software Development,SDET Unit, BITS-Pilani, India.

    Designed and developed by fractal | ink design studios