Irmak Sağlam
Scholar

Irmak Sağlam

Google Scholar ID: SdZwFQoAAAAJ
MPI - SWS
Citations & Impact
All-time
Citations
25
 
H-index
2
 
i10-index
1
 
Publications
15
 
Co-authors
0
 
Publications
1 items
Resume (English only)
Academic Achievements
  • Master's thesis is available here.
Research Experience
  • 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.
Co-authors
0 total
Co-authors: 0 (list not available)