Research
Current interests
- Constructive and intuitionistic mathematics (with P. Schuster)
- Homotopy type theory (with R. Bonacina, M. Girardi, and R. Zunino)
- Point-free semantics of constructive systems (with R. Bonacina)
- Well-quasi orders (with R. Bonacina)
- Argumentation and constructive mathematics (with F. Gobbo, F. Russo, and J.H.M. Wagemans)
Also, from my past works
- Philosophy of information (with F. Gobbo and following the ideas of L. Floridi)
- 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, working on point-free semantics of constructive systems (2016 – present)
- Marco Girardi (co-supervision with Roberto Zunino), working on higher order inductive types (2019 – present)
Memberships
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)
- Dottorato di Ricerca (PhD coordination committee) in Informatica e Matematica del Calcolo, Università degli Studi dell’Insubria (2006-present; to terminate in 2021)
