Marco Benini

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

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)
%d bloggers like this: