Research Interests
Formal Methods & Stochastic Model Checking
Abstraction Techniques for Non-Deterministic and Stochastic Systems
Design & Verification of Cyber Physical Systems
Machine Learning for Software Requirements & Process Mining
Software Product Lines
Model Based Testing
Sponsored Projects
Department Of Science & Technology (DST), Science and Engineering Research Board (SERB) - Core Research Grant (CRG)
Department Of Science & Technology (DST), Science and Engineering Research Board (SERB) - Mathematical Research Impact Centric Support (MATRICS)