Short Bio

I am an instructor in the Computer Science and Engineering department at Faculty of Engineering and Natural Sciences, Sabanci University. Before that, I was a postdoctoral researcher at IRIF, Universite de Paris, working with Constantin Enea and Ahmed Bouajjani. I obtained my PhD from Koc University, under the supervision of Serdar Tasiran.

I am interested in concurrency theory and verification of concurrent programs. My primary focus is on developing deductive verification techniques for shared memory and distributed programs. Currently, I work on understanding and verifying consensus protocols for distributed systems including block chain and cloud computing platforms; developing methods for checking consistency levels of distributed data stores and obtaining space efficient partial order reduction techniques for concurrent programs. I like anything involving refinement proofs.


I am always looking for talented masters and undergraduate students enthusiastic about formal methods, software verification, deductive reasoning, foundations of concurrent programming and theoretical aspects of blockchain platforms.


  • (Sep ‘21) I am extremely happy and excited for being an Amazon Research Awards recipient.
  • (Oct ‘20) I am excited to start working at Sabanci University as an instructor.