Permanent member
Marcello D'Agostino
Philosophy of logic, bounded reasoning, argumentation, and formal methods for AI.
Members
Members
The LUCI Lab brings together researchers working on logic, uncertainty, computation, and information.
\
Permanent members
Permanent member
Hykel Hosni
Uncertain reasoning, scientific inference, probability, and logic in data-driven science.
Permanent member
Giuseppe Primiero
Logical methods in AI, philosophy of computation and information, and trustworthy and fair AI.
Postdocs
Postdoc
Luca Ausili
Social epistemology, philosophy of science, political epistemology, and personalised medical decision-making.
Postdoc
Esther Anna Corsi
Uncertain reasoning, many-valued logics, logical argumentation theory, game theory, and theoretical computer science.
Postdoc
Stipe Pandžić
Knowledge representation, defeasible argumentation, justification logic, and evidence pooling.
PhD students
PhD student
Alessandro G. Buda
Bias and risk mitigation in generative AI, formal and experimental methods for complex systems, and the logics and pragmatics of information and computation.
PhD student
Giovanni Sanavio
Objective Bayesian inductive logic and uncertain inference under incomplete information.
Recent PhD graduates
Recent PhD graduate
Francesca Doneda
Trustworthiness, disinformation, source assessment, and logical models for public administration and socially relevant reasoning.
Recent PhD graduate
Chiara Manganini
Philosophy of computation, ontology of computational artifacts, and formal methods for machine learning systems with a focus on bias and fairness.
Affiliated researchers
Affiliated researcher
Paolo Baldi
Uncertain reasoning, proof theory and semantics of nonclassical logics, especially Mathematical Fuzzy Logic.
Affiliated researcher
Leonardo Ceragioli
Proof theory, proof-theoretic semantics, non-classical logics, logics in computer science, philosophy of logic and rationality.
Affiliated researcher
Greta Coraglia
Logical foundations, categorical semantics, mathematical logic, deductive systems, and type theory.
Affiliated researcher
Fabio Aurelio D'Asaro
Uncertain and epistemic reasoning, temporal and probabilistic logics, reasoning about actions and change.
Affiliated researcher
Francesco A. Genco
Proof theory of non-classical logics, constructive and semi-constructive logics, and explanatory reasoning in logic and mathematics.
Affiliated researcher
Jürgen Landes
Uncertain inference, pure inductive logic, maximum entropy, and Bayesian inference in medicine.
Affiliated researcher
Soroush Rafiee Rad
Mathematical logic and its application to formal epistemology.
Affiliated researcher
Alejandro J. Solares-Rojas
Automated reasoning, logics in computer science and AI, and proof complexity.
Affiliated researcher
Alberto Termine
Explainable AI, epistemic uncertainty, probabilistic model checking, and formal methods.