![](https://luci.unimi.it/wp-content/uploads/2022/11/cropped-Marcello_DAgostino-225x300-150x150-1.png)
Marcello D’Agostino — Professor of Logic
Logic, Automated Deduction, Philosophy of Logic, Philosophy of Information, Foundations of Economic Theory.
![](https://luci.unimi.it/wp-content/uploads/2022/11/hykel-hosni-400-1-1024x1024-1.png)
Hykel Hosni — Professor of Logic
Logical Foundations of Reasoning and Decision-making under Uncertainty.
![](https://luci.unimi.it/wp-content/uploads/2022/11/primiero-768x1024-1.png)
Giuseppe Primiero — 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
![](https://luci.unimi.it/wp-content/uploads/2023/03/Progetto-senza-titolo-1.jpg)
Logical foundations, categorical semantics, mathematical logic, deductive systems, type theory.
![](https://luci.unimi.it/wp-content/uploads/2022/11/IMG_9903-1024x1024.png)
Uncertain reasoning, Many-valued Logics, Logical Argumentation Theory, Game Theory, Theoretical Computer Science.
![](https://luci.unimi.it/wp-content/uploads/2022/11/Schermata-2022-11-23-alle-15.42.39-1024x1024.png)
Proof-theory of Non-classical Logics, Computational Interpretations for Constructive and Semi-constructive Logics, Explanatory Reasoning in Logic and Mathematics.
![](https://luci.unimi.it/wp-content/uploads/2022/11/photo-unimi.png)
Modal Logic, Epistemology, Epistemic Logic, Many-valued Logics, Logical Methods in AI, Trustworthy and Fair AI.
![](https://luci.unimi.it/wp-content/uploads/2022/11/costanza-150x150-1.png)
Non-classical logics, Epistemic and Non-monotonic Logics, Theories of Bounded Rationality, History and Philosophy of Logic, History of Mathematics.
![](https://luci.unimi.it/wp-content/uploads/2024/05/Screenshot-2024-05-23-alle-09.34.38-1.png)
Mathematical Logic and its application to Formal Epistemology.
PhD Students
![](https://luci.unimi.it/wp-content/uploads/2022/11/IMG_20220726_192353-1024x1024.png)
Giovanni Duca
![](https://luci.unimi.it/wp-content/uploads/2024/01/PHOTO-2024-01-23-15-09-17-1.jpg)
Francesco Ponti
Associated and visiting members
![](https://luci.unimi.it/wp-content/uploads/2022/11/2f3f7c131e42c05667c558ce64492c1e7a21a5e2-io1-150x150-1.png)
Paolo Baldi – Tenure-Track Assistant Professor at the Department of Human Studies, University of Salento (UNISA)
Uncertain reasoning, Proof-theory and semantics of Nonclassical logics, especially Mathematical Fuzzy Logic.
![](https://luci.unimi.it/wp-content/uploads/2022/11/me_6.png)
Fabio Aurelio D’Asaro – Assistant Professor at the E.T.h.O.S. Research Center, University of Verona
Uncertain and Epistemic reasoning, Temporal and Probabilistic Logics, Reasoning about Actions and Change.
![](https://luci.unimi.it/wp-content/uploads/2022/11/francesco_facciuto-150x150-1.png)
Francesco Facciuto
Mathematical Models in Physical, Biological and Social Sciences, Causality and Epistemology of Data Science, Philosophy and History of Science.
![](https://luci.unimi.it/wp-content/uploads/2022/11/Dice1-1024x987.png)
Juergen Landes — Assistant Professor (RTD-A) of Logic
Uncertain inference and in particular, Pure Inductive Logic, the Principle of Maximum Entropy, general Bayesian inference and Bayesian inference in medicine.
![](https://luci.unimi.it/wp-content/uploads/2022/11/EA6C72AB-41EB-4F2D-BCDF-1A81754B1FA7-150x150-1.png)
Alejandro J. Solares-Rojas – Postdoctoral Researcher at the Department of Computer Sciences (FCEN), Universidad de Buenos Aires (UBA)
Automated reasoning, Logics in Computer Science and Artificial Intelligence, Proof Complexity.
![](https://luci.unimi.it/wp-content/uploads/2022/11/Alberto-150x150-1.png)
Alberto Termine – Scientific Collaborator in Machine Learning at the Department of Innovative Technologies, University of Applied Sciences and Arts of Southern Switzerland (SUPSI)
Probabilistic Model-Checking, Uncertain and Epistemic Reasoning, Logical Methods in Explainable AI, Epistemology of Data Science.
Current Master Students
- Elena Bastia: Random Boolean Networks and Complex Systems Modeling
- Alison Bifolco: The Boolean Satisfiability Problem and Function Fitting
- Tobia Fogarin: Logical foundations of statistical inference
- Samuele Lothar: AI-driven scientific method
- Sabina Marchesini Reggiani: BDI Logic and Collective Action
- Edoardo Menorello: A type-theoretical perspective on trascendental logic
- Matteo Mercuri: Input/Output logic: a norm-based solution to classical deontic logic problems
- Pietro Pizzorni
- Giovanni Sanavio: Probability logic
- Dylan Scinicariello: Decision making with severe uncertainty
- Francesca Serio: Logic of Perception
- Alice Turati: Judgment aggregation
Former members
- Pere Pardo Dynamic Epistemic Logic, Argumentation, Deontic Logic and Planning – Postdoctoral Researcher at the ICR Group, University of Luxembourg.
- Michal Fait (Jan–Jun 2019) Visiting from VŠB – Technical University of Ostrava