Ruya Karagulle

Welcome!

I am Ruya Karagulle, Ph.D. student in Control field at Electrical and Computer Engineering at University of Michigan under the advising of Necmiye Ozay. My research is mainly focused on formal methods and machine learning, where I am trying to combine the advantages of machine learning with formal methods to infer better specifications for systems.

News

October 2024I presented our work on A Safe Preference Learning Approach for Personalization with Applications to Autonomous Vehicles at IROS 2024 in Abu Dhabi.
September 2024I attended Dagstuhl Seminar on Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy. It was an invaluable experience and potentially the highlight of my Ph.D.!
May 2024I presented our work on Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles at HSCC 2024 in Hong Kong.
March 2024Our 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!
February 2024Our 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!
August 2023I completed my Summer Research Internship at Toyota Research Institute, Los Altos, California. It was an invaluable experience!
May 2023I presented our poster on Safety Guaranteed Preference Learning Approach for Autonomous Vehicles at HSCC 2022 in San Antonio, Texas.
September 2022I presented our work on Classification of Driving Behaviors using STL Formulas at FORMATS 2022, online.
July 2022I attended Formal Methods in Control Design workshop organized by European Embedded Control Institute (EECI).