About Me

I am a Postdoctoral Fellow at the University of Texas at Austin, working with Swarat Chaudhuri in the Trishul group. My research interests lie in the intersection of formal methods and modern AI/ML, specifically in the design and verification of neurosymbolic systems.

I completed my PhD in Computer Science at the University of Southern California in the Summer of 2025, advised by Jyotirmoy Deshmukh as part of the CPS-VIDA group, where I focused on the design and verification of controllers for learning-enabled cyber-physical systems, including:

• Incorporating formal methods in the design of controllers for autonomous systems through:
  • Design of reward functions for reinforcement learning agents, given temporal logic task specifications.
  • Controller synthesis for time-sensitive and safety-critical tasks.
  • Marrying automata theory with array programming and gradient-based optimization pipelines.
• Fault detection and verification of perception-based control systems, especially in the context of autonomous vehicles.
  • Use of runtime monitors to detect malfunction in perception systems, especially in the context of multi-object detection and tracking.

  Before this, I received my B.S. in Computer Engineering from the University at Buffalo in 2018, where I also worked with Prof. Karthik Dantu at the Distributed Robotics and Networked Embedded Systems Lab.

Selected Publications

• Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata

  In 28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), May 2025. (Best Paper Award)

  arxiv

• Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods

  In 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), October 2024.

  arxiv

• Differentiable Weighted Automata

  In ICML 2024 Workshop on Differentiable Almost Everything : Differentiable Relaxations, Algorithms, Operators, and Simulators , June 2024.

• Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata

  In 2023 62nd IEEE Conference on Decision and Control (CDC), December 2023.

  arxiv PDF Poster

• PerceMon: Online Monitoring for Perception Systems

  In Runtime Verification, October 2021.

  arxiv

• Augmenting Visual SLAM with Wi-Fi Sensing for Indoor Applications

  In Autonomous Robots, December 2019.

• Structured Reward Shaping Using Signal Temporal Logic Specifications

  In 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), November 2019.

  PDF Poster

• Specifying and Evaluating Quality Metrics for Vision-based Perception Systems

  In 2019 Design, Automation Test in Europe Conference Exhibition (DATE), March 2019.

  PDF

For most up-to-date publication information, check out my DBLP or Google Scholar pages.