Marco Benini


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)


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 (2012-2016)
  • 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)
  • Evaluator for the Marie Skłodowska-Curie Individual Fellowships program, European Commission (2018, 2019, 2020, 2022)
  • 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)
%d bloggers like this: