Currently pursuing a PhD at the Max Planck Institute for Software Systems, under the joint supervision of Georg Zetzsche and Anne-Kathrin Schmuck. Part of the Models of Computation and Control Software Systems groups, headed by the advisors.
Education
Bachelor's degree from the Computer Engineering Department of Middle East Technical University (METU); Master's degree from the Mathematics Department of the same institution, advised by Burak Kaya. During the Master's studies, worked with Ebru Aydın Göl as part of the Cyber-Physical Systems Research Group.
Background
Research interests include logic, automata, and game theory, with a focus on verification and synthesis. The work mainly revolves around games on finite graphs, aiming to better understand them and find efficient ways to tackle them. Special interest in fairness constraints and identifying inexpensive fairness constraints for specific game/graph categories.