news
| 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. |