news

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! 🎓