Gianluca Basso

Picture of this site's author, Gianluca Basso

I'm a postdoc at Université Claude Bernard Lyon 1 (link) working with Todor Tsankov. I am a member of the ANR Project AGRUME (link). I obtained my PhD from Université de Lausanne and Università degli Studi di Torino under the supervision of Prof. Jacques Duparc and Prof. Riccardo Camerlo. Here are my thesis (PDF) and its abstract (link).

You can contact me at gianluca.basso at protonmail.com

Picture of this site's author, Gianluca Basso

Publications

Selected talks

Organizing

Teaching

2015-2020

Teaching assistant – Unil, EPFL

  • Set Theory (link). Master, École Polytechnique Fédérale de Lausanne (EPFL).
  • Gödel and Recursivity (link). Master, École Polytechnique Fédérale de Lausanne (EPFL).
  • Computational Complexity I (link). Master, Université de Lausanne (UNIL).

Project assistant – Unito

  • Project assistant for the realization of the eCourse Introduzione alla Logica Matematica (link). Università degli Studi di Torino (UniTO). Autumn 2017.