About

I am an AI researcher working on symbolic and hybrid approaches to human-level and human-centered AI, with applications in the digital transformation of law and finance. My expertise lies in knowledge representation and reasoning, formal and computational argumentation, non-monotonic and deontic reasoning, AI & law, trustworthy AI, and machine ethics.

I am currently at the Luxembourg Institute of Science and Technology (LIST), where I am a member of the Trustworthy AI Group (TAI). I also co-coordinate two joint initiatives: the Zhejiang University – University of Luxembourg Joint Lab on Advanced Intelligent Systems and REasoning (ZLAIRE) and the TAI–CLAiM–ICR collaboration, which brings together TAI, Computational Law and Machine Ethics (CLAiM), and the Individual and Collective Reasoning Group (ICR).

Education

• 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

Research Grants

Grant-Funded Research Projects

• 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

Successful Grant Contributions

• 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

Academic Service

Editorial Responsibilities

• Corner Editor, Journal of Logic and Computation — AI Logic

Program Chairships

• 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 Memberships

• 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

Teaching Experience and Vision

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. At the same time, I contribute to foundational computer science education by coordinating textbook development and teaching core subjects such as discrete mathematics, propositional logic, and first-order logic. In response to the growing and sometimes uncritical use of generative AI in the classroom, my teaching aims to help students use AI systems critically rather than passively: students are encouraged to reconstruct arguments, question assumptions, compare human and machine reasoning, and justify their own conclusions. To support active engagement, I use interactive tools such as Wooclap for live questions, polls, and feedback, together with project-based assignments that connect formal concepts to current AI research and practice.

• 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

Student Supervision and Mentoring

• 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

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]