top of page
Atalay Mert Ileri
Post Doctoral Researcher
Atalay Mert Ileri is 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 on formalizing OWL ontology language and implementing a verified reasoner for it in Coq Proof Assistant.
![aryan](https://static.wixstatic.com/media/9a9824_cb1c3a4c65e7430cb9dc704100fedf34~mv2.jpg/v1/fill/w_343,h_380,al_c,q_80,usm_0.66_1.00_0.01,enc_auto/aryan.jpg)
![](https://static.wixstatic.com/media/9a9824_e9cde9e67ac747c5991ffb971a5a4a47~mv2.png/v1/fill/w_31,h_28,al_c,q_85,usm_0.66_1.00_0.01,enc_auto/9a9824_e9cde9e67ac747c5991ffb971a5a4a47~mv2.png)
Google Scholar Link
![](https://static.wixstatic.com/media/9a9824_9698eced582847d0ac1b0c518c5a9104~mv2.png/v1/fill/w_31,h_28,al_c,q_85,usm_0.66_1.00_0.01,enc_auto/9a9824_9698eced582847d0ac1b0c518c5a9104~mv2.png)
![](https://static.wixstatic.com/media/9a9824_fa8887eaf04a4da598eb26a5c512251d~mv2.png/v1/fill/w_31,h_28,al_c,q_85,usm_0.66_1.00_0.01,enc_auto/9a9824_fa8887eaf04a4da598eb26a5c512251d~mv2.png)
X (Twitter)
bottom of page