Ruya Karagulle

Ruya Karagulle

I am a fourth year Ph.D. student at Electrical and Computer Engineering at University of Michigan.

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

September 2023We submitted our work on A Preference Learning Approach to Develop Safe and Personalizable Autonomous Vehicles to Robotics and Automation Letters (RA-L).
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).