Current Supervision
- Edoardo Menorello (LM): Genealogy of judgments, a type-theoretical perspective on transcendental logic.
- Davide Leonardi (LT): TBC
- Alessandro Giuseppe Buda (LM): Introducing Pragmatic Aspects in a Theory of Computational Artifacts
- Giordano Matteo (LT): Indeterminismo e verifica. Applicazioni delle logiche temporali.
- Lorenzo Tissoni (LM): Le formalizzazioni della Tesi di Church-Turing
- Savina Squarciotta (LM): Big Data e Machine Learning in Informatica Commerciale
Academic Year 2021-2022
- Giovanni Buraglio (LM): Persuasive communication in Formal Argumentation Theory with preference orderings (April 2022)
- Marco Larotonda (LM): A depth-bounded logic for becoming informed (April 2022)
- Camilla Quaresmini (LM): A Taxonomy of Bias in Machine Learning (April 2022)
Academic Year 2020-2021
- Francesca Doneda (LM): Bias and Trustworthiness in Computational Fact-Checking (October 2021)
- Marta Reguzzoni (LT): e-Trust and Trustworthiness in supervised and unsupervised environments (April 2021)
- Marco Cavarretta (LM): L’epistemologia delle simulazioni dei fenomeni climatici (April 2021)
Academic Year 2019-2020
- Elena Bastia (LT): Epistemic Logic and Awareness (December 2020)
- Alessandro Giuseppe Buda (LT): Gli artefatti computazionali come oggetti linguistici: un approccio pragmatico (December 2020)
- Giada Tamburrino (LM): Causality, Probability and AI (December 2020)
- Andrè Velasquez Huillcas (LM): Tecniche di Interpretazione in Machine Learning (July 2020)
- Dimitri Piaggesi (LT): Automi Cellulari e Computazione (July 2020)
- Lorenzo Prandi (LM): Distrust with Paranoid Agents (March 2020)
- Giorgio Cignarale (LM): A formal model for genetically non-neutral information with inferential depth (March 2020)
- Tommaso Bichi (LT): Dal caso all’algoritmo (March 2020)
Academic Year 2018-2019
- Andrea Talarico (LT): Il test di Turing tra passato e presente: Critiche e cambiamenti alle regole dell’Imitation Game (March 2019)