Luca Roversi

Luca Roversi is associate professor in Computer science.

His teaching duties are at former Facoltà di Scienze Politiche -- Torino and at Dipartimento di Informatica -- Torino where he degrees in Computer science on 1990.

He accomplished a Doctorate in Computer science at Dipartimento di Informatica -- Pisa on 1995.

He spent post-doc periods at Computer science department of Brandeis University -- Boston, and at Institut de Mathématiques de Luminy -- Marseille, thanks to two "TMR --- Marie Curie" fellowships.

His current research activity develops at the Dipartimento di Informatica -- Torino, where he was a former researcher. His research is in theoretical computer science with particular interests about the formal methods linked to the Structural proof theory. He has written papers in lambda-calculus, type theory, applications of category theory, linear and resource logics, and deep-inference.

He is member of the Executive Board of the Associazione Italiana di Logica e Applicazioni (AILA.)