Marco Benini

Research

Current interests

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 Homotopy Type Theory (2016 – 2019)
  • Marco Girardi (co-supervision with Roberto Zunino), working on higher 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, 2019)
  • 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: