🦁 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.