| Jul 15, 2026 | Our work titled “Control Barrier Functions for Moving Obstacles via Translational Symmetry” accepted as a regular paper at IEEE CDC 2026. |
| Jun 29, 2026 | Successfully defended my Ph.D. dissertation titled, “Successive Control Certificates for Safe Autonomy”  . Recording here |
| Feb 06, 2026 | Presented a poster at the CU annual research expo titled SOS Certificate Repair via DSOS and Rational LP. |
| Nov 25, 2025 | Organized the inaugural CUPLV Formal Methods Seminar and gave a talk on Verifiaction of Real-valued Programs. |
| May 22, 2025 | Successfully defended my Ph.D. thesis proposal, Successive Control Certificates for Safe Autonomy! |
| May 08, 2025 | Presented our HSCC paper, “Successive Control Barrier Functions for Nonlinear Systems,” at CPS-IoT Week held in Irvine, CA. Slides here. |