Hello. I am Ruya.

I received my PhD in the Electrical and Computer Engineering Department at the University of Michigan - Ann Arbor, where I was advised by Professor Necmiye Ozay. My research was mainly focused on combination of formal methods and machine learning, where I combined the advantages of machine learning with formal methods to infer better specifications for systems. I am also interested in personalization, safety guarantees, and control synthesis of cyber-physical systems, especially in the context of autonomous vehicles.

Defended my Ph.D. successfully!

I defended my Ph.D. thesis and became a doctor officially! I would like to thank one more time to all who believed in me, who walked with me, and whose work made mine possible.

January 21, 2026

Paper accepted at ACC 2026!

Our paper ``Safe and Optimal Learning from Preferences via Weighted Temporal Logic with Applications in Robotics and Formula 1’’ has been accepted at the American Control Conference (ACC) 2026! See you in New Orleans in May 2026!

March 11, 2025

Recieved Rackham Predoctoral Fellowship

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

Classification using Temporal Logic

In this project, we utilize temporal logic formalism to classify driving behaviors. The goal is to infer an STL formula that can distinguish two classes of behaviors. By using this formula, we can synthesize new behaviors that belong to the desired class.

#signal temporal logic #classification

Safe Preference Learning

In this project, we aim to capture user preferences for driving task to generate personalized and safe behaviors. We use temporal logic formalism to specify the safety. To capture the user preferences, we utilize preference learning methods. Specifically, we ask pairwise questions that compare two behaviors.

#preference learning #safety guarantees