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

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

• Corner Editor, Journal of Logic and Computation — AI Logic
• Editor and PC Chair:
  • Sixth International Workshop on Logic and Argumentation for New-generation AI, Barcelona, Spain, September 17, 2026
  • Fifth International Workshop on Logic for New-generation AI, Luxembourg, December 1–5, 2025
  • First and Second International Workshops on Causality, Agents and Large Models (CALM 2024 and CALM 2025), including the CCIS post-proceedings for CALM 2024
• Program Committee member: IJCAI, AAMAS, EXTRAAMAS, JURIX, ICAIL, and other venues

Conference Organization

• 2025 LUXLOGAI 2025, Luxembourg
• 2025 LNGAI 2025, Luxembourg
• 2025 CALM 2025, Luxembourg
• 2024 CALM 2024, Kyoto, Japan
• 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 2026), 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

• 2026.05, 2025.12, 2025.06, 2024.06, 2023.12, 2023.06 ZLAIRE, Institute of Logic and Cognition, Zhejiang University, China
• 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

Talks

• 2026.06 Two-Layer Contract Governance: Object-Level CTD Rights and Meta-Level Contract Invalidity, at JURISIN 2026, Tokyo, Japan.
• 2026.06 Reason-Aligned Normative Reasoning in LogiKEy: From Balancing Reasons to Epistemic Rights and Duties (together with LEon van der Torre and Luca Pasetto), at the pre-JURISIN Workshop 2026, Tokyo, Japan.
• 2026.05 CREDO-RAD: Reason-Aligned Reactive Choice and the Logic of Traceable Context Dependence (together with Leon van der Torre), at the 5th Anniversary of ZLAIRE & International Workshop on Logic in Artificial Intelligence, Hangzhou, China.
• 2026.05 Balancing for Agent Decision Making through Argumentation, at the 25th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2026), Paphos, Cyprus.
• 2026.01 Where Do Weights Come From? Weighting and Weighing by LLMs and Formal Argumentation in Discretionary Judicial Reasoning (together with Davide Liga), at the AAAI Bridge Program on AI and Law, Singapore.
• 2026.01 SCALE: A Framework for AI and Law Alignment, at AAAI bridge program of AI and Law, Singapore.
• 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 2025).
• 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]