Research

Current interests

• Constructive and intuitionistic mathematics (with P. Schuster)
• Proof theory of Homotopy type theory (with M. Girardi and R. Zunino)
• Point-free semantics of constructive systems
• Well-quasi orders
• Argumentation and constructive mathematics (with F. Gobbo and J.H.M. Wagemans in the research group LANCAR)

Also, from my past works

• Philosophy of information (with F. Gobbo)
• 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)

Memberships

• Association for Symbolic Logic
• Computability in Europe
• Marie Curie Alumni
• Unione Matematica Italiana

Conferences and Journals

• Program committee of Computability in Europe (2018)
• Program committee of M4C: Mathematics for Computation (2016)
• Program committee of CILC 2016 (2016)
• Organiser of the special session History and Philosophy of Computing in Computability in Europe (CiE) 2015 (2015)
• Organiser of CORCON 2014 – Correctness by Construction (2014)
• Reviewer for Logique et Analyse (since 2013)
• Reviewer for Zentralblatt MATH (since 2012)
• Reviewer for Algebra (since 2012)
• Reviewer for the Journal of Computer Networks (2008-2014)
• Reviewer for IETE Technical Review (since 2009)
• 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)
• Evaluator for the Marie Skłodowska-Curie Individual Fellowships program, European Commission (2018, 2019, 2020)
• Evaluator for EPSRC, UK (2019, 2020)
• Dottorato di Ricerca (PhD coordination committee) in Informatica e Matematica del Calcolo, Università degli Studi dell’Insubria (2006-2021)