ACADEMIC RECORD
Curriculum vitae
Experience in normative reasoning, mathematical logic, and AI.
Ali Farjami
Postdoctoral Researcher · Faculty of Science, Technology and Medicine · University of Luxembourg
Normative reasoning · LogiKEy · Knowledge representation · Formal verification · Neuro-symbolic AI
Appointments
2026–present · University of Luxembourg
Postdoctoral Researcher, Faculty of Science, Technology and Medicine
2024–2026 · University of Luxembourg
Postdoctoral Researcher, Interdisciplinary Centre for Security, Reliability and Trust (SnT)
2020–2024 · Iran University of Science and Technology
Postdoctoral Researcher, School of Computer Engineering
Recognition
John-Jules Meyer Best Paper Award · DEON 2018
Education
Ph.D. in Computer Science · University of Luxembourg · 2016–2020
M.Sc. in Pure Mathematics · University of Tehran · 2011–2014
B.Sc. in Pure Mathematics · University of Tehran · 2007–2011
This overview follows ORCID. The linked PDF is the existing CV and may contain earlier information.