UNDER CONSTRUCTION

In the meantime, you can find my full publication list here.

I am Atalay Mert Ileri, a Senior Research Associate (Postdoctoral Fellow in US terms) on Concurrent, Distributed and Quantum Programming at University of Oxford. My work focuses on formal verification of software systems’ security properties using interactive proof assistants. I am currently working with Prof. Nobuko Yoshida on adapting session types to quantum processes as a part of Mobility Reading Group. Before joining University of Oxford, I worked at Kansas State University as a Postdoctoral Fellow with Prof. Hande McGinty as a member of Koncordant Lab. My work in Kansas State University investigated applications of formal verification on deductive reasoning using knowledge graphs. Prior to that, I obtained my Ph.D. from MIT under the supervision of Prof. Nickolai Zeldovich and Prof. M. Frans Kaashoek in PDOS group. My PhD work involved formal verification of crash-safe storage systems with nondeterministic behaviors’ confidentiality properties.