Members

Permanent Members

Marcello D’Agostino — Full Professor of Logic

Research interests: Logic, Automated Deduction, Philosophy of Logic, Philosophy of Information, Foundations of Economic Theory. http://www.filosofia.unimi.it/dagostino/

Hykel Hosni — Associate Professor of Logic

Research interests: Logical Foundations of Reasoning and Decision-making under Uncertainty. http://www.filosofia.unimi.it/~hosni/

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. https://sites.unimi.it/gprimiero/

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.
https://sites.google.com/sns.it/costanzalarese/

Paolo Baldi

Research interests: Uncertain reasoning, Proof-theory and semantics of Nonclassical logics, especially Mathematical Fuzzy Logic. https://sites.google.com/view/paolobaldi/

Esther Corsi

Research interests: Uncertain reasoning, Many-valued Logics, Logical Argumentation Theory, Game Theory, Theoretical Computer Science. https://sites.google.com/view/estherannacorsi

Fabio Aurelio D’Asaro

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

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.
https://sites.google.com/view/albertotermine

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. https://sites.google.com/site/perepardoventura/home

Michal Fait (Jan–Jun 2019)

VŠB – Technical University of Ostrava