Marco Benini

Research

Current interests

  • Constructive and intuitionistic mathematics (with P. Schuster)
  • Homotopy type theory (with R. Bonacina)
  • Point-free semantics of constructive systems (with R. Bonacina)
  • Well-quasi orders (with R. Bonacina)
  • 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

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)