Research Interests

• Formal Methods & Probabilistic/Stochastic Model Checking 

• Design & Verification of Cyber Physical Systems

• Machine Learning for Software Requirements

• Business Process Compliance & 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) [2024-2027]

• Department Of Science & Technology (DST), Science and Engineering Research Board (SERB)  - Mathematical Research Impact Centric Support (MATRICS) [2024-2027]