Luca Roversi
Associate Professor
- Dipartimento di Informatica
- SSD: INF/01 - informatics
- ORCID: orcid.org/0000-0002-1871-6109
Contacts
- +390116706720
- luca.roversi@unito.it
- https://unito.webex.com/meet/luca.roversi
- via Pessinetto 12, Torino -- ITALY
- https://dott-informatica.campusnet.unito.it/persone/luca.roversi
At
- Computer Science Department
- Dipartimento di Informatica
- Corso di laurea in Informatica
- Corso di laurea magistrale in Informatica
- PhD in Computer Science
Selected research products
Please, look at Luca Roversi - dblp.
Courses
- Algoritmi e Complessità (INF0097)
Corso di laurea magistrale in Informatica - Linguaggi e Paradigmi di Programmazione (MFN0610)
Corso di laurea in Informatica - Logica per l'Informatica (INF0341)
Corso di laurea in Informatica - Programmazione I (MFN0582)
Corso di laurea in Informatica - Quantum computing (QC2023)
PhD in Computer Science
Research topics
Please, see the Tab with title "Other information".
Research groups
Activities in agenda
Academic bodies
Office hours
Please, send me an email, if you need to meet me.Luca Roversi is associate professor in Computer science.
From 2001 through 2013 his teaching duties were at former Facoltà di Scienze Politiche -- Torino. Since 2014 he teaches at the 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 as a TMR --- Marie Curie fellow.
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. He has written papers in lambda-calculus, type theory, applications of category theory, linear and resource logics, deep-inference, reversible computation and quantum computing.
He was a former member of the Executive Board of the "Associazione Italiana di Logica e Applicazioni" (AILA.)
He is currently member of the Executive Board of the "Italian Chapter of the European Association of Theoretical Computer Science" (IC-EATCS.)
Some scientific projects.
- 2018--2021: YAREL: Yet Another Reversible Language
- 2013--2015: Linear Techniques For The Analysis Of Languages
- 2012--2014: Sharing and Sequentiality in Proof Systems with Locality
- 2010--2012: CRISTAL
- 2010--2012: PICS
- 2008--2011: BIOBITS
- 2007--2009: CONCERTO
- 2004--2006: FOLLIA
- 2002--2004: PROTOCOLLO
- 2002--2004: DART
Some further link.