Gabriele Vanoni is a PhD candidate at the Dipartimento di Informatica - Scienza e Ingegneria (DISI) at Università di Bologna. His research is in the field of logical foundations of programming languages and it is supervised by Ugo Dal Lago.

Curriculum vitae