Corso Svizzera, n. 185
10149 Torino --- ITALY
E-mail: roversi at di dot unito dot it
Fax: +39 011 751603
Tel: +39 011 670 6720
Luca Roversi is associate professor in Computer science.
He accomplished a Doctorate in Computer science at Dipartimento di Informatica -- Pisa on 1995.
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.)