List of BA/MA Theses

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)