I am currently pursuing my PhD at the Max Planck Institute for Software Systems (MPI-SWS) under the joint supervision of Georg Zetzsche and Anne-Kathrin Schmuck. I am a part of Models of Computation and Control Software Systems groups, headed by my advisors.
My research interests include formal methods, verification, finite representations of infinite systems, $\omega$-regular games, $\mu-$calculus and its applications, and automata theory.
I obtained my Bachelor’s degree from the Computer Engineering Department of Middle East Technical University (METU) and my Master’s degree from the Mathematics Department of the same institution. During my Master’s studies I was advised by Burak Kaya. You can access my Master’s thesis here. Concurrently with my Master’s studies, I had the opportunity to work with Ebru Aydin Göl from METU Computer Engineering. Our joint research was a part of the work conducted by the Cyber-Physical Systems Research Group.