ISFIIncarichi d’insegnamento in università
– dal 2020: docente titolare del corso “Multi-Agent Systems” al Master MSE alla SUPSI.
– dal 2019: docente titolare del corso “Philosophy and AI” al Master in Filosofia all’USI.
– 2014: docente del corso “Modal Fixpoint Logics: When Logic Meets Games, Automata and Topology”, alla 26th European Summer School in Logic, Language and Information ESSLLI 2014, Università di Tübingen.
– 2013-2014: docente del corso “Logic and Games”, Università di Varsavia, Istituto di Filosofia, BA e MA in Filosofia, e del corso “Logic for Computer Scientists”, Università di Varsavia, Istituto di Informatica, MA in informatica.
All’istituto di Studi Filosofici della FTL nell’anno accademico 2020/21tiene il corso Lampi di intelligenza artificiale con il Prof. Gambardella.
Curriculum:
Dal 2015: Ricercatore-docente senior IDSIA.
Settembre 2012 – 2014: Professore assistente alla Facoltà di Matematica, Informatica e Meccanica, Università di Varsavia.
Novembre 2011 – Agosto 2012: Post doc alla Facoltà di Informatica, Università di Amsterdam.
Gennaio – Ottobre 2011: Post doc SNF alla Facoltà di Matematica, Informatica e Meccanica, Università di Varsavia.
Marzo — Giugno 2010: ricercatore invitato alla Jack Baskin School of Engineering, Università della California, Santa Cruz.
2010: Ph.D. in Informatica (Co-tutela Università di Bordeaux 1 (LaBRI) e Università di Losanna).
2006: MAS in Logica e Fondamenti della Matematica, Università di Barcellona.
2003: Laurea in Lettere e Scienze Umane, Università di Neuchâtel Logica (maggiore), Linguistica (maggiore) e Matematica (minore), con Tesi in logia.
2011 Paul Bernays Award da parte della Società Svizzera di Logica e Filosofia della Scienza “to a young researcher for an outstanding contribution in the area of logic and philosophy of science”.
Aree di ricerca: logica, applicata all’AI ed all’informatica teorica; teorie della razionalità e fondamenti della meccanica quantistica
Scelta di pubblicazioni
- (con Facundo Carreiro, Yde Venema, Fabio Zanasi) “The power of the weak”. ACM Transactions on Computational Logic, 21(2), Paper 15 (2020). https://dl.acm.org/doi/abs/10.1145/3372392
- (con Alessio Benavoli e Marco Zaffalon) “Quantum Mechanics: The Bayesian theory generalized to the space of Hermitian matrices”. Physical Review A, 94(4):2106 (2016). https://doi.org/10.1103/PhysRevA.94.042106
- (con Alessandro Antonucci, Julissa Llerena, Lilith Mattei e Denis Maua) “Tractable Inference in Credal Sentential Decision Diagrams”. International Journal of Approximate Reasoning (to appear, August 2020)