Staff

Marcello D’Agostino — Full Professor of Logic
Logic, Automated Deduction, Philosophy of Logic, Philosophy of Information, Foundations of Economic Theory.

Hykel Hosni — Full Professor of Logic
Logical Foundations of Reasoning and Decision-making under Uncertainty.

Giuseppe Primiero — Associate Professor of Logic
Formal Models of Dynamic Rationality for Intelligent Mechanical and Natural Information Systems, Semantics and Proof Theory of Computational Systems, Foundations of Computing.
Post-Doctoral fellows

Uncertain reasoning, Proof-theory and semantics of Nonclassical logics, especially Mathematical Fuzzy Logic.

Uncertain reasoning, Many-valued Logics, Logical Argumentation Theory, Game Theory, Theoretical Computer Science.

Non-classical logics, Epistemic and Non-monotonic Logics, Theories of Bounded Rationality, History and Philosophy of Logic, History of Mathematics.
PhD Students

Alejandro J. Solares-Rojas
Information-theoretic Approaches to Logic, Semantics and Proof-theory of Non-classical Logics, Non-deterministic and Game Semantics.

Francesco Facciuto
Mathematical Models in Physical, Biological and Social Sciences, Causality and Epistemology of Data Science, Philosophy and History of Science.

Probabilistic Model-Checking, Uncertain and Epistemic Reasoning, Logical Methods in Explainable AI, Epistemology of Data Science.
Master Students
Giovanni Buraglio
Dissertation: “Persuasive Communication in Formal Argumentation Theory with Preference Orderings”
Giovanni Duca
Conditionals in probability and logic
Marco Larotonda
Dissertation: “A Depth-Bounded Logic for Becoming Informed”
Riccardo Piccolo
Sofia Pierini
Conditionals in probability and logic
Pietro Pizzorni
Camilla Quaresmini
Dissertation: “Data Quality Dimensions for Fair AI”
Lorenzo Tissoni
Dissertation: “Church-Turing Thesis Formalizations”
Former Members and Visitors

Fabio Aurelio D’Asaro
Uncertain and Epistemic reasoning, Temporal and Probabilistic Logics, Reasoning about Actions and Change.
https://fabiodasaro.com/

Pere Pardo
Dynamic Epistemic Logic, Argumentation, Deontic Logic and Planning. https://sites.google.com/site/perepardoventura/home