Foto del docente

Cosimo Laneve

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Contenuti utili

LATEST RESEARCH PAPERS

Silvia Crafa, Cosimo Laneve: Liquidity Analysis in Resource-Aware Programming, April 2022. Silvia Crafa, Cosimo Laneve: Programming legal contracts: A beginners guide to Stipula, November 2021. Silvia Crafa, Cosimo Laneve, Giovanni Sartor: Pacta sunt servanda: ...

LAB ON BLOCKCHAIN AND NEW TECHNOLOGIES

The Lab promotes the research on Blockchain and New Technologies and their technological transfer.

SOFTWARE DEVELOPED BY COSIMO's GROUP

The STIPULA Project -- Development of a programming language for legal contracts. The first release of the language is available here. Cosimo Laneve, Adele Veschetti and Silvia Crafa, September 2022. Silvia Crafa and a student of her have recently developed a graphical interface for Stipula, ...