Permanent Members

Marcello D’Agostino — Full Professor of Logic

Research interests: Logic, Automated Deduction, Philosophy of Logic, Philosophy of Information, Foundations of Economic Theory.

Hykel Hosni — Associate Professor of Logic

Research interests: Logical Foundations of Reasoning and Decision-making under Uncertainty.

Giuseppe Primiero — Associate Professor of Logic

Research interests: Formal Models of Dynamic Rationality for Intelligent Mechanical and Natural Information Systems, Semantics and Proof Theory of Computational Systems, Foundations of Computing.

Post-Doctoral Members

Costanza Larese

Research interests: Non-classical logics, Epistemic and Non-monotonic Logics, Theories of Bounded Rationality, History and Philosophy of Logic, History of Mathematics.

Paolo Baldi

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

Esther Corsi

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

Fabio Aurelio D’Asaro

Research interests: Uncertain and Epistemic reasoning, Temporal and Probabilistic Logics, Reasoning about Actions and Change.

PhD Students

Alejandro J. Solares-Rojas

Research interests: Information-theoretic Approaches to Logic, Semantics and Proof-theory of Non-classical Logics, Non-deterministic and Game Semantics.

Francesco Facciuto

Research Interests: Mathematical Models in Physical, Biological and Social Sciences, Causality and Epistemology of Data Science, Philosophy and History of Science.

Alberto Termine

Research Interests: Probabilistic Model-Checking, Uncertain and Epistemic Reasoning, Logical Methods in Explainable AI, Epistemology of Data Science.

Master Students

Sara Bassanelli

Giovanni Duca

Sofia Pierini

Lorenzo Tissoni

Dissertation: “Church-Turing Thesis Formalizations”

Giovanni Buraglio

Dissertation: “A model for persuasive communication with different epistemic-attitudes”

Riccardo Piccolo

Pietro Pizzorni

Marco Larotonda

Dissertation: “A relational semantics for the logic of becoming informed in MA-DBBL”

Camilla Quaresmini

Dissertation: “Data Quality Dimensions for Fair AI”

Former Members and Visitors

Pere Pardo

Research interests: Dynamic Epistemic Logic, Argumentation, Deontic Logic and Planning.

Michal Fait (Jan–Jun 2019)

VŠB – Technical University of Ostrava