Research

Current interests

• Constructive and intuitionistic mathematics (with P. Schuster)
• Homotopy type theory
• Point-free semantics of constructive systems
• Well-quasi orderings
• Philosophy of information (with F. Gobbo and following the ideas of L. Floridi)

Also, from my past works

• 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)

Memberships

• Association for Symbolic Logic
• Computability in Europe
• Marie Curie Alumni
• Dottorato di Ricerca (PhD coordination committee) in Informatica e Matematica del Calcolo, Università degli Studi dell’Insubria

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