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