About me

Hello! I am a second year Ph.D. student at the Department of Computer Science of Boston University. I’m fortunate to be advised by Alley Stoughton and Marco Gaboardi.

🇹🇷 I’m from Istanbul, Turkey. My first name is pronounced [oo-er], or /uːr/ if you know IPA.

🦁 I graduated from Lycée de Galatasaray in 2017.

🌲 I graduated from Dartmouth College in 2021 with a bachelor’s degree in computer science and mathematics. I spent an extra year at Dartmouth to finish a master’s degree, during which I had the pleasure of being advised by Prof. Prasad Jayanti.

🧑🏻‍🏫 I joined the Principles of Programming and Verification research group at the Department of Computer Science of Boston University in September 2022. My interests include but are not limited to concurrent algorithms, formal verification, complexity theory and logic. I’m an ardent Python and TLA+/TLAPS enthusiast.

😎 In my free time, you can find me at the movies or editing Turkish and English Wikipedias.