Atalay Mert Ileri (Preferred)
Atalay Mert Ileri
Pronouns: he/him
Postdoc, Computer Science, Kansas State University
- Joined June 2024
Names
Emails
****@ksu.edu (Confirmed)
, ****@gmail.com (Confirmed)
, ****@mit.edu (Confirmed)
Personal Links
Career & Education History
Postdoc
Computer Science, Kansas State University (ksu.edu)
2023 – Present
PhD student
EECS, Massachusetts Institute of Technology (mit.edu)
2016 – 2023
MS student
EECS, Massachusetts Institute of Technology (mit.edu)
2014 – 2016
Undergrad student
Computer Engineering, Bilkent University (bilkent.edu.tr)
2010 – 2014
Advisors, Relations & Conflicts
Expertise
Deductive reasoning, Semantic Web, Ontologies, OWL language
2023 – Present
Formal verification, Theorem proving, Software verification, Hyperproperties
2016 – Present