Atalay Mert Ileri (Preferred)
Atalay Mert Ileri
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