I received Rackham Predoctoral Fellowship! I am grateful for this opportunity and support!

I successfully passed my thesis proposal exam! This marks approximately one year until my Ph.D. defense.

I presented our work on 4C: Custom-and-correct-by-construction controller synthesis using multi-modal human feedback at CPHS 2024 in Antalya, Turkey. It was a blast to get connected with researchers in my home country!

I presented our work on A Safe Preference Learning Approach for Personalization with Applications to Autonomous Vehicles at IROS 2024 in Abu Dhabi, UAE.

I got invited to Dagstuhl Seminar on Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy, where I gave a lightning talk about my research. It was an invaluable experience and potentially the highlight of my Ph.D.!

I presented our work on Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles at HSCC 2024 in Hong Kong. It was a great experience to share our research and engage with the community. You can find the slides for my talk here. Looking forward to more discussions and collaborations!

Our work on Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles is accepted to HSCC 2024 with a Repeatability Badge! See you in Hong Kong on May 2024!

Our work on A Safe Preference Learning Approach for Personalization with Applications to Autonomous Vehicles is accepted to Robotics and Automation Letters (RA-L)! We will be presenting it at IROS 2024! See you there!

I completed my Summer Research Internship at Toyota Research Institute, Los Altos, California. The internship was a great opportunity to apply my research skills in a real-world setting and to learn from leading experts in the field.

I presented our poster on Safety Guaranteed Preference Learning Approach for Autonomous Vehicles at HSCC 2022 in San Antonio, Texas. It is always a pleasure to connect with Hybrid Systems community! You can find the poster here.

I presented our work on Classification of Driving Behaviors using STL Formulas at FORMATS 2022, online. You can find the paper in the proceedings of the conference.

I attended Formal Methods in Control Design workshop organized by European Embedded Control Institute (EECI). It was a great opportunity to learn about formal methods and control design, and to connect with fellow PhD students in the field. You can check out the website for more information about other workshops and activities.