Hi there!
I am a Senior Research Scientist at IITB Trust Lab, IIT Bombay. My research focuses on the formal verification of reactive systems, in particular, real-time and stochastic systems. To analyze and verify such systems, I have worked on a range of techniques, including model learning, model checking, conformance testing, and runtime verification.
More broadly, my research combines the study of theoretically challenging problems in formal verification with the development of tools that validate and evaluate the resulting techniques.
At IIT Bombay, I work with S Akshay on the verification of stochastic systems and on developing formal guarantees for AI-based models. Previously, I held postdoctoral positions at Université libre de Bruxelles and Inria/IRISA Rennes. At ULB, I worked with Jean-François Raskin on learning models for real-time systems and on controller synthesis for stochastic models such as MDPs and POMDPs. At Inria/IRISA, I worked with Thierry Jéron and Ocan Sankur on conformance testing and runtime verification.
I received my Ph.D. in Computer Science from Chennai Mathematical Institute under the supervision of B Srivathsan and Paul Gastin (LMF, ENS Paris-Saclay). My doctoral research focused on the verification of real-time systems modeled as timed automata.