About

I am a postdoctoral researcher at Luxembourg Institute of Science and Technology, where I am a member of the Trustworthy AI Group.

I am an AI researcher focusing on symbolic and hybrid approaches for human-level and human-centered AI in application areas like digital transformation of law and finance.

Education and Key Qualification

• Ph.D. Joint Doctorate in LAST-JD-RIoE-MSCA-ITN (Law, Science and Technology Joint Doctorate: Rights of Internet of Everything - funded under the EU’s Marie Skłodowska-Curie Action - Innovative Training Network), 2019 – 2023, AND
• Ph.D. in Computer Science, 2019 – 2023, University of Luxembourg, Luxembourg
  • Joint Thesis: “Distributed Argumentation Technology” PDF
• M.Sc. in Philosophy, 2016 - 2018, Zhejiang University, China
• B.Sc. in Information Systems and Information Management, 2012 - 2016, Jiaxing University, China

Participating In Research Grants

• 2025.11 – 2027.11 Postdoctoral researcher, SERAFIN (Symbolic and Explainable Regulatory AI for Finance Innovation), Fonds National de la Recherche (FNR) CORE research, Grant No. C24/19003061/SERAFIN, PI: Prof. Dr. Leon van der Torre
• 2024.11 – 2025.10 Postdoctoral researcher, DISCREASON (Formal Analysis of Discretionary Reasoning – Deontic Logic and Formal Argumentation for Modeling Discretionary Decision-making in Legal Cases), Marie Speyer Excellence grant project, PI: Dr. Réka Markovich
• 2023.11 – 2024.10 Postdoctoral researcher, Deontic Logic for Epistemic Rights (DELIGHT), Fonds National de la Recherche (FNR) OPEN research, Grant No. O20/14776480
• 2019.11 – 2023.10 Doctoral researcher in Law, Science and Technology Joint Doctorate: Rights of Internet of Everything, funded under the (Horizon 2020) Marie Skłodowska-Curie Action - Innovative Training Network (LAST-JD-RIoE-MSCA-ITN), EU Grant No. 814177

Obtained Funding

• 2025 Main co-author to RECALL – Reasoning and Explaining CAusality and Liability through Legal Ai FNR CORE, PI: Réka Markovich, Co-PI: Amro Najjar
• 2024 Main co-author to SERAFIN - Symbolic and Explainable Regulatory AI for Finance Innovation, FNR CORE, PI: Leon van der Torre, Co-PI: Ankit Arora, Project budget: 598K Euros

Additional Information

Academic Service

• Editor of Logic for New-generation AI, Fifth International Workshop, December 1-5 2025, Luxembourg
• Editor of the Computer and Information Science (CCIS) post-proceedings for CALM 2024.
• PC Chair of the 5th International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2025).
• PC Chair of the 2nd International Workshop on on Causality, Agents and Large Models (CALM 2025).
• PC Chair of the 2024 workshop on Causality, Agents and Large Models (CALM 2024).
• Reviewer of the 34th International Joint Conference on Artificial Intelligence (IJCAI 2025)
• Reviewer for the 6th International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS 2024).

Conference Organization

• 2025 LUXLOGAI 2025 in Luxembourg: https://icr.uni.lu/luxlogai2025/index.html
• 2025 LNGAI 2025 in Luxembourg: https://www.zlaire.net/lngai2025/
• 2025 CALM 2025 in Luxembourg: https://www.ciad-lab.fr/the-2nd-international-workshop-on-causality-agents-and-large-models-calm/
• 2024 CALM 2024 in Kyoto, Japan: https://www.ciad-lab.fr/prima-causal-ai-workshop/
• 2023 ICR & CLAiM workshop on Distributed Argumentation Technology
• 2023 Zhejiang University – University of Luxembourg Joint Lab on Advanced Intelligent Systems and REasoning (ZLAIRE) kick-off workshop

Supervision of students

• 2025 - present Daily supervisor for Thomas Løye Skafte (doctoral researcher)
• 2024 Tutor for Velija Delikj’s bachelor semester project on autonomous cars
• 2022 - present Advisor for Vincent de Wit (doctoral researcher)
• 2023 - present Advisor for master’s and PhD students from Zhejiang University through ZLAIRE

Teaching Profile and Activities

I enjoy both research-based teaching and foundational teaching. My research-based teaching focuses on advanced topics in knowledge representation and reasoning, including logic and formal argumentation in AI. Additionally, I contribute to foundational education by coordinating textbook drafting and teaching core subjects in computer science, such as discrete mathematics, propositional logic, and first-order logic.

• 2026.08 Course on Logic and Argumentation for New-generation AI at European Summer School for Logic, Language, and Information 2026 (ESSLLI 2025), Prague (upcoming)
• 2025.06 Course on From Logic to Argumentation in AI at North American Summer School in Logic, Language, and Information 2025 (NASSLI 2025), Washington University, the United States
• 2024.09 – 2024.12 Master Course on Intelligent Systems: Agents and Reasoning, the University of Luxembourg, Luxembourg
• 2024.04 – 2024.06 Doctoral Course on Introduction to Formal and Computational Argumentation, the University of Luxembourg, Luxembourg
• 2024.04 – 2024.06 Master Course on Intelligent Agents 1, the University of Luxembourg, Luxembourg

Academic Visits

• 2024.10 Department of Information Science and Media Studies, University of Bergen, Norway
• 2023.11 Computer Science Department, Cadi Ayyad University, Morocco
• 2023.10 Artificial Intelligence and Data Engineering Department, Özyeğin University, Turkey
• 2023.07 National Institute of Informatics, Tokyo, Japan
• 2022.10 Centre de Recherche en Informatique de Lens, France
• 2023.12, 2023.07 Department of Informatics, Kyoto University, Japan
• 2025.06, 2024.06, 2023.12, 2023.06 Institute of Logic and Cognition, Zhejiang University, China

Talks

• 2025.12 Contrary-to-Duty Rights: From Hohfeld To Agreement Revision, at the 38th International Conference on Legal Knowledge and Information Systems (JURIX 2025).
• 2025.12 A Principle–Based Robustness Analysis of Labeling–Based Bipolar Argumentation Semantics, at the Luxembourg Logic & AI Summit (LUXLOGAI 2026).
• 2025.11 Reasons and Arguments in Artificial Intelligence (Invited talk, together with Leon van der Torre), at the international research workshop of The Weight of Reasons and Normative Reasoning.
• 2025.06 Addressing the Right to Explanation and the Right to Challenge through Hybrid-AI: Symbolic Constraints over Large Language Models via Prompt Engineering, at the 20th International Conference on AI and Law, Chicago, America
• 2025.06 Artificial General Intelligence and Law (Invited Talk, co-presented with Leon van der Torre), at Global Artificial Intelligence Technology Conference, Forum on Law and Artificial Intelligence, Hangzhou, China
• 2025.03 Conceptualizations and challenges for distributed argumentation technology (Invited Talk), at Online Seminar on Computational Models of Argument (OSCMART)
• 2025.02 Generating Explanations with Hybrid AI to Support the Right to Challenge, at 1st LoDEx Workshop on Logical Methods for Deontic Explanations, Ruhr-Universität Bochum, Germany
• 2024.10 Three Conceptualizations of Formal Argumentation (Invited Talk), at Logic & AI Seminar, University of Bergen, Norway
• 2024.06 Weakest Link, Prioritised Default Logic, and Principles in Argumentation (Invited Talk), at The Fourth International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2024), Zhejiang University, China
• 2024.03 Distributed Argumentation Technology, at 6th Madeira Workshop on Belief Revision, Argumentation, Ontologies, and Norms, Madeira, Portugal
• 2023.11 Legal and Moral Reasoning Capabilities in Intelligent Machines (Invited Talk), at Computer Science Department, Cadi Ayyad University, Morocco
• 2023.11 Law, Science, and Technology in Luxembourg (Invited Talk), at Computer Science Department, Cadi Ayyad University, Morocco
• 2023.09 From Distributed Argumentation Technology (DAT) to Dialogue Technology (DT), at ZLAIRE Kickoff, Zhejiang University, China
• 2023.05 Principles and Practice of Formal Argumentation: Argument Strength, Acceptance, and Storage (Invited Talk), at Tsinghua University, China
• 2022.05 Case-based Reasoning via Comparing the Strength Order of Features, at 4th International Workshop on EXplainable TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS2022), Virtual
• 2022.01 Enhancing Trust in Trust Services: Towards an Intelligent Human-input-based Blockchain Oracle (IHiBO), at 55th Hawaii International Conference on System Sciences (HICSS2022), Virtual
• 2021.12 A Principle-based Analysis of Abstract Agent Argumentation Semantics (Invited Talk), at The 5th IEEE International Conference on Agents (IEEE ICA2021), Virtual
• 2021.11 A Principle-based Analysis of Abstract Agent Argumentation Semantics, at 18th International Conference on Principles of Knowledge Representation and Reasoning (KR2021), Italy
• 2020.12 Interpretations of Support Among Arguments, at 33rd International Conference on Legal Knowledge and Information Systems (JURIX2020), Virtual
• 2020.09 The Principle-based Approach to Bipolar Argumentation, at International Workshop on Non-Monotonic Reasoning (NMR2020), Virtual
• 2020.07 The Principle-based Approach to Bipolar Argumentation, at ICR Seminar, University of Luxembourg
• 2019.12 On the Optimized Utilization of Smart Contracts in DLTs from the Perspective of Legal Representation and Legal Reasoning, at 32nd International Conference on Legal Knowledge and Information Systems (JURIX2019), Madrid, Spain

Publications [Google Scholar][DBLP]