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
Stipe Pandžić
Knowledge representation, defeasible argumentation, justification logic, and evidence pooling.
PhD students
PhD student
Giovanni Sanavio
Objective Bayesian inductive logic and uncertain inference under incomplete information.
Affiliated researchers
Affiliated researcher
Paolo Baldi
Uncertain reasoning, proof theory and semantics of nonclassical logics, especially Mathematical Fuzzy Logic.
Affiliated researcher
Esther Anna Corsi
Uncertain reasoning, many-valued logics, logical argumentation theory, game theory, and theoretical computer science.
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.