CV

Work Experience

October 2020 - Now: Instructor
Sabanci University, Istanbul, TURKEY
September 2018 - September 2020: Postdoctoral Researcher
IRIF, Universite de Paris, Paris, FRANCE

Ph.D. in Computer Science and Engineering, Koc University, Istanbul, TURKEY, 2018
Thesis: Verification of Concurrent Programs via Refinement Proofs
Advisor: Serdar Tasiran
Co-Advisors: Ahmed Bouajjani and Constantin Enea
M.Sc. in Computer Science and Engineering, Sabanci University, Istanbul, TURKEY, 2012
Thesis: Applications of Heuristic Search on Phylogeny Reconstruction Problems
Advisor: Esra Erdem
B.Sc. in Computer Science and Engineering, Sabanci University, Istanbul, TURKEY, 2010

Please check publications page for details.

July 14-18, 2018 Reasoning About TSO Programs Using Reduction and Abstraction. paper
Venue: CAV’18, Oxford, UK.
July 24-27, 2017 Proving Linearizability Using Forward Simulations. paper
Venue: CAV’17, Heidelberg, Germany.
April 23-24, 2017 Proving Linearizability Using Forward Simulations.
Venue: EuroDW’17, Belgrade, Serbia.
May 18-20, 2016 A Mechanized Proof of the Chase-Lev Deque Using a Proof System. paper
Venue: NETYS’16, Marrakech, Morocco.

Sep ‘21 Amazon Research Award (ARA) Spring 21 Recipient
Project Title: Linearizability Checking via Symbolic Reasoning
Fall ‘17 HIPEAC Collaboration Grant for the IRIF Lab visit
May ‘16 Best paper award in NETYS ‘16 conference
Paper Title: A Mechanized Proof of the Chase-Lev Deque Using a Proof System (link)
2012 TUBITAK-BIDEB (Turkish NSF) scholarship: Covers monthly stipend for PhD studies
2010 TUBITAK-BIDEB (Turkish NSF) scholarship: Covers monthly stipend for MSc studies

Subreviewer for ESOP’19, iFM’19, TACAS’19 and VMCAI’20.