About Me
My research focuses on the intersection of artificial intelligence, mathematics, computer science, and logic, with a particular emphasis on developing logical frameworks for normative reasoning. I am particularly interested in applying deontic logics, which address the logic of obligations and permissions, to create AI systems that are explainable and ethically aligned. My work involves using algebraic and topological models to improve the scalability and comprehensibility of normative systems. This includes developing methodologies such as LogiKEy, which supports ethical reasoning in AI, and applying duality techniques to enhance the computation of rule-based systems.
I am also interested in the emerging field of neuro-symbolic AI, which aims to combine the strengths of neural networks with symbolic reasoning. I have a background in pure mathematics and computer science, having completed my Ph.D. at the University of Luxembourg, where I was part of the Individual and Collective Reasoning group. This expertise allows me to integrate theoretical concepts with practical applications, contributing to AI technologies that align with human values and ethics.
Professional Experience
-
Postdoctoral Researcher (2024 -- 2025) - Interdisciplinary Centre for Security,
Reliability and Trust at University of Luxembourg
Focused on Neuro-Symbolic AI and Dark Patterns. -
Postdoctoral Researcher (2020--2024) - School of Computer Engineering, Iran
University of
Science and Technology
Focused on Explainable AI and Normative Reasoning.
Academic Background
-
Ph.D. in Computer Science
University of Luxembourg, 2020
Thesis: Discursive Input/Output Logic: Deontic Modals, and Computation(pdf)(slide)
Committee: Leon van der Torre (supervisor), Pierre Kelsen, Jan Broersen, Dov Gabbay, Christian Straßer, Xavier Parent (advisor), Christoph Benzmüller (advisor)
Workshop:deonticlogic2020-2030 -
M.Sc. in Pure Mathematics
University of Tehran, 2015
Thesis: Conditional Doxastic Logic and Learning(Abstract)(Chapter 4)(Thesis-Persian)
Committee: Majid Alizadeh (supervisor), Ahmad Shafiei Dehabadi, Mohammad Ardeshir
-
B.Sc. in Pure Mathematics
University of Tehran, 2013
Thesis: Platonism and Anti-platonism in Mathematics(Abstract)