Luca Roversi
Professore/Professoressa associato/a
- Dipartimento di Informatica
- SSD: INF/01 - informatica
- ORCID: orcid.org/0000-0002-1871-6109

Contatti
- +390116706720
- luca.roversi@unito.it
- https://unito.webex.com/meet/luca.roversi
- via Pessinetto 12, Torino -- ITALY
- http://informatica.unito.it/persone/luca.roversi
Presso
- Computer Science Department
- Dipartimento di Informatica
- Corso di laurea in Informatica
- Corso di laurea magistrale in Informatica
- PhD in Computer Science
Prodotti della ricerca selezionati
Please, look at Luca Roversi - dblp.
Insegnamenti
- 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
Temi di ricerca
Please, see the Tab with title "Other information".
Gruppi di ricerca
Attività in agenda
Organi
Ricevimento studenti
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.