CV
Experience, education, projects and skills: generated from a single source of truth. Download the full PDF.
Fabio Aurelio D'Asaro
Assistant Professor in Logic
Download PDF
281Citations
10h-index
13i10
Researcher in Logic working in Logic and AI: epistemic, probabilistic and temporal reasoning, argumentation, and logic programming (ASP/ILASP). Teaching and supervision span Logic and Philosophy of Science, AI, theoretical and applied Computer Science, Epistemology of Big Data, and Logic Programming.
Experience
Assistant Professor 2026 – present
University of Verona
Verona, Italy
Research and teaching on uncertain and epistemic reasoning, temporal and probabilistic logics, logic programming, reasoning about actions and change, bounded reasoning, and formal argumentation for (explainable) AI.
Honorary Lecturer 2025 – present
University College London (UCL)
London, UK
Department of Information Studies, Faculty of Arts and Humanities. Continuing collaboration on explainable AI and the Event Calculus (KIDS group). Email: fabio.dasaro.14@ucl.ac.uk — profiles.ucl.ac.uk/46877-fabio-d'asaro
Postdoctoral Researcher 2025 – 2026
University of Salento
Lecce, Italy
Department of Human Studies. Project FAIR — Future AI Research (PE00000013), NRRP/MUR, NextGenerationEU, Spoke 6 ("Symbiotic AI"), PI: Paolo Baldi.
Assistant Professor 2022 – 2025
University of Verona
Verona, Italy
Research and teaching on uncertain and epistemic reasoning, temporal and probabilistic logics, logic programming, reasoning about actions and change, bounded reasoning, and formal argumentation for (explainable) AI. Partially funded by PON R&I 2014-2020, DM 1062/2021 (Action IV.4); UniVR code 2021rtdaPON03; CUP B39J21025840001; 12-month secondment at REVO.
Postdoctoral Researcher 2020 – 2021
Logic Group, University of Milan
Milan, Italy
Uncertain, depth-bounded and epistemic logics.
Postdoctoral Researcher 2019 – 2020
AVATEA Project (AI to support rehabilitation of children with neuro-motor disorders); explainable AI for robotics and preference learning.
Research Assistant 2013 – 2014
University of Palermo
Palermo, Italy
NEVERLOST Project (PO-FESR 2007-2013): (sub)optimal antenna displacement in arbitrary 2D spaces via soft-computing (fuzzy logic, genetic algorithms); educational "serious game" for theoretical CS.
Undergraduate Intern Jun – Sep 2011
ICAR-CNR Palermo
Palermo, Italy
IMPULSO project: a path-visualization tool using the Google Maps APIs.
Education
PhD in Artificial Intelligence 2014 – 2019
University College London (UCL)
London, UK
Thesis: "Probabilistic Epistemic Reasoning About Actions" (supervisors: Rob Miller, Antonis Bikakis, Luke Dickens). Modelling uncertainty and knowledge-producing actions in the Event Calculus. Excerpts published in Artificial Intelligence (AIJ) and LPNMR.
MSc in Pure Mathematics and Mathematical Logic 2013 – 2014
University of Manchester
Manchester, UK
Distinction (≈ 110/110 cum laude). Dissertation: "Analogical Reasoning in Unary Inductive Logic" (supervisor: Jeff B. Paris).
BSc in Computer Science 2006 – 2011
University of Palermo
Palermo, Italy
110/110 cum laude. Dissertation on the Church-Turing thesis and new models of computation (supervisor: Settimo Termini).
Honours
MSc with Distinction (≈ 110/110 cum laude) — University of Manchester, 2014
BSc summa cum laude (110/110 e lode) — University of Palermo, 2011
Selected Projects
FAIR (PNRR) 2025 – 2026
Logic for ethical human-AI collaboration (eDefAI, "Symbiotic AI"). PE00000013, Spoke 6, CUP H97G22000210007.
REVO (PON) 2022 – 2024
Researcher (Verona side, partially funded): AI methods to support insurance-policy sales — handwriting recognition, entity matching, and eligibility pre-screening. Ministerial PON R&I funding (DM 1062/2021); 12-month industrial secondment at the partner company, REVO Insurance.
BRIO (PRIN) 2022 – 2025
Proponent / collaborator (Milan; then external, EThOS Verona). Formal frameworks for trust and bias. PRIN 2020, 2020SSKZ7R_001 (ERC SH4).
AVATEA (POR) 2018 – 2019
Runtime epistemic probabilistic Event Calculus for sensor fusion in rehabilitation serious games. POR Campania FESR 2014-2020, CUP B13D18000130007.
Research Software
PEC · Probabilistic Event Calculus — reference implementation.
k-lingo · Depth-bounded (k-depth) version of the ASP solver clingo (KR 2021).
WABA Playground · In-browser Weighted Assumption-Based Argumentation (clingo-wasm).
ArgLAS · Learning ASP encodings of argumentation semantics with ILASP.
tptnd-lean · Typed natural deduction in Lean 4 — machine-checked fairness certificates.
LogicBenchmarkQuestions · Dataset of logic puzzles to benchmark LLM reasoning.
Skills
Logic programming: ASP/clingo, Prolog/ProbLog, ILASP/FastLAS
Programming: Python, Java, JavaScript/TypeScript, PHP, SQL, HTML/CSS; C, MATLAB; Lisp-family, Anglican