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