I am an assistant professor in the department of Electrical Engineering & Computer Science (EECS) at the Indian Institute of Science Education and Research Bhopal (IISERB), India. 

My research focuses on formal modeling, specification and verification of reactive systems. More specifically, I am interested in developing abstraction techniques, temporal logics and model checking algorithms for non-deterministic and stochastic systems. Additionally, I am also interested in model-based testing of software product lines & cyber physical systems. Recently, I have also started investigating the applications of machine learning (ML) and natural language processing (NLP) for improving the quality of software artifacts and for mining process models. 

Before joining IISERB, I was a post-doctoral fellow in the department of Statistics, Informatics, Applications at University of Florence, Italy. I obtained a PhD from the department of Computer Science at RWTH Aachen Technical University, Germany and Master of Science from the department of Mathematics & Computer Science at Technical University of Eindhoven, The Netherlands.