I am a postdoctoral researcher at Max Planck Institute for Software Systems, working with Rupak Majumdar. I got my PhD from Koc University, Reserach Center for Multicore Engineering in 2016, under the supervision of Serdar Tasiran.

My research interests:

  • Verification of Concurrent Programs
    • Asynchronous programs
    • Event-driven Mobile Applications
    • Eventually consistent systems with replicated data types
    • Transactional programs
  • Theoretical Foundations of Computer Science