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 involve:

  • Software testing and verification
  • Concurrent, event-driven and distributed systems
  • Theoretical foundations of computer science

Publications: