Home > Relatori > Luca Roversi

Luca Roversi

Luca Roversi

Luca Roversi è professore associato di Informatica presso la Facoltà di Scienze Politiche dell'Università di Torino dove tiene i corsi " Sistemi informativi" e " Informatica ed entità complesse".

Si laurea in Scienze dell'Informazione nel '90 all'Università di Torino e consegue un Dottorato di ricerca in Informatica all'Università di Pisa.

Ha trascorso periodi post - dottorato alla Brandeis University -- Boston ed all'Institut de Mathématiques de Luminy -- Marseille, anche grazie a borse “TMR --- Marie Curie”.
Svolge attività scientifica presso il Dipartimento di Informatica di Torino, dove è stato ricercatore. Si occupa di Informatica teorica con particolare interesse per i metodi formali legati alla Teoria strutturale della dimostrazione.