CV

Education

• Ph.D. in Electrical Engineering and Computer Science, MIT, USA, 2023
  • Thesis: Verifying Confidentiality Under Nondeterminism for Storage Systems
  • Supervisors: M. Frans Kaashoek, Nickolai Zeldovich
• M.S. in Electrical Engineering and Computer Science, MIT, USA, 2016
  • Thesis: Mechanisms with Costly Knowledge
  • Supervisor: Silvio Micali
• B.S. in Computer Engineering, Bilkent University, Turkey, 2014
  • Senior Project: Bilvote: Cryptographically Secure Mobile Voting System
  • Supervisor: Can Alkan

Work experience

• January 2024 - Current : Senior Research Associate
  • University of Oxford
  • Supervisor: Nobuko Yoshida
• April 2023 - December 2024 : Postdoctoral Fellow
  • Kansas State University
  • Supervisor: Hande McGinty

Publications

VEL: A Formally Verified Reasoner for EL++ Description Logic.

Probability from Possibility: Probabilistic Confidentiality for Storage Systems Under Nondeterminism

Talks

Teaching