Foto del docente

Cosimo Laneve

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Avvisi

Nuovo Laboratorio su Blockchain e Nuove Tecnologie

Il laboratorio promuove la ricerca su Blockchain e sulle Nuove Tecnologia e il relativo trasferimento tecnologico.

Pubblicato il: 09 gennaio 2019

Tesi di Laurea Magistrale: Tecniche formali per la sicurezza di blockchain

Tesi di laurea + tirocinio.

Pubblicato il: 24 gennaio 2018

LATEST RESEARCH PAPERS

Cosimo Laneve, Michael Lienhardt, Ka I Pun, Guillermo Román-Díez: Time Analysis of Actor Programs, March 2018 (with Michael Lienhardt, Ka I Pun, Guillermo Román-Díez) Cosimo Laneve:A lightweight deadlock analysis for programs with threads and reentrant locks, January 2018. The extended ...

Pubblicato il: 24 gennaio 2018