Formalisation of natural language in constructive mathematics (with F. Gobbo)
Phd students
Federico Gobbo, dissertation on adpositional grammars and constructive linguistics (2006 – 2009)
Roberta Bonacina, dissertation on the point-free semantics of Homotopy Type Theory (2016 – 2019)
Marco Girardi (co-supervision with Roberto Zunino), dissertation on the normalisation of a significant fragment of HoTT and the representation of non-recursive higher inductive types (2019 – 2022)
Reviewer for the Journal of Computer Networks (2008-2014)
Reviewer for IETE Technical Review (2009-2014)
Program committee of ADAPTIVE 2010 The Second International Conference on Adaptive and Self-adaptive Systems and Applications (2010)
Program committee of TRESSS – Trust, Recommender Systems and User Models for Social Search and Web-logs Analysis A workshop of WI-IAT 2010, IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (2010)
Program committee of Rivista Italiana di Filosofia Analitica jr. (2010-2012)
Technical program committee of S-CUBE 2009
Technical program committee of SELFTRUST 2009
Academic Service
Director of the research centre Informatica Interattiva, Università degli Studi dell’Insubria (2004-06)
Member of the executive committee of the research centre Informatica Interattiva, Università degli Studi dell’Insubria (2004-13)