Current Supervision
- Giordano Matteo (LT): Indeterminismo e verifica. Applicazioni delle logiche temporali.
- Giovanni Buraglio (LM): A model for persuasive communication with different epistemic-attitudes: a case study in Formal Argumentation Theory
- Lorenzo Tissoni (LM): Le formalizzazioni della Tesi di Church-Turing
- Marco Larotonda (LM): A relational semantics for the logic of becoming informed in MA-DBBL
- Chiara Manganini (LM): Intentionality, Correctness and Verification
- Camilla Quaresmini (LM): A Taxonomy of Bias in Machine Learning
- Savina Squarciotta (LM): Big Data e Machine Learning in Informatica Commerciale
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)