top of page
Atalay Mert Ileri
Post Doctoral Researcher
Atalay Mert Ileri was a postdoctoral fellow in Computer Science at the Kansas State University. His research interests are formal verification, verified security, and deductive reasoning using semantic web technologies. He acquired his PhD in 2023 from MIT in the PDOS group. He is currently working as a Senior Research Associate at University of Oxford.
Google Scholar Link
X (Twitter)
bottom of page