May 15, 2025 | Paper Accepted at IEEE Control Systems Letters! |
Apr 08, 2025 | “Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks” has been accepted by Workshop on Formal Verification of Control with Neural Network Components, See you in Denver at ACC 2025! 🎉 |
Dec 10, 2024 | Contributed to CMU Hacker Fab's Lithography Stepper v2.1 |
Dec 07, 2024 | Completed the Autonomous Robotics I final project! Built a YOLOv8-powered object tracking robot with ROS2 and Isaac ROS. 🤖 |
Sep 20, 2024 | Our autonomous drifting paper was accepted at IEEE ITSC 2024! 🚗💨 |
Jan 07, 2024 | Started my Master’s program in ECE at Carnegie Mellon University! 🎓 |