My research lies at the intersection of formal methods for reasoning about software and systems, foundations of cyber-physical systems (CPS), control theory, and mathematical logic. I am increasingly interested in reasoning about real-world CPS applications that use AI components trained with machine learning algorithms. Here are some of the topics on which I am actively working:

- Verification of Autonomous Cyber-Physical Systems.
- Testing for Autonomous Cyber-Physical Systems and Embedded Control Systems.
- Time-Series Analysis using Temporal Logic.
- Probabilistic Reasoning about Time-Series Data.
- Specification Languages for Cyber-Physical Systems.
- Monitoring Security of Cyber-Physical Systems.