Foto del docente

Cosimo Laneve

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Avvisi

Tesi di Laurea Magistrale

L'argomento e` "la corrispondenza tra contratti legali e smart contract della blockchain". Il parlamento Italiano ha approvato una legge [Legge nr 12, 11 Febbraio 2019] in cui c'e` scritto: Art. 8-ter (Tecnologie basate su registri distribuiti e smart contract). – 1. Si definiscono “tecnologie basate ...

Pubblicato il: 02 dicembre 2020

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