Foto del docente

Cosimo Laneve

Full Professor

Department of Computer Science and Engineering

Academic discipline: INFO-01/A Informatics

Useful contents

LATEST RESEARCH PAPERS

About STIPULA Cosimo Laneve: The Stipula Platform, a workbench for programming, analysing and executing legal contracts, September 2025. Richard Hahnle, Cosimo Laneve, Adele Veschetti: Formal Verification of Legal Contracts: A Translation-based Approach, September 2025. ...

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 and of its toolchain. The whole toolchain is available here on GitHub. In particular, Adele Veschetti has developed the interpreter, Elia Venturi has prototyped the graphical interface, Samuele Evangelisti has ...