Foto del docente

Cosimo Laneve

Full Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

News

Tesi di laurea triennale

1) Green Computing -- analisi dello stato dell'arte e progetto di possibili strumenti di aiuto allo sviluppo del codice (tesi di laurea  + tirocinio formativo) 2) Sviluppo del prototipo Stipula per definire contratti legali.

Published on: October 07 2023

Tesi di Laurea Magistrale (NUOVE: 19/9/2023)

  1) TECHNIQUES BASED ON MACHINE LEARNING FOR DERIVING CODE SIMILARITIES. Code is extremely fragile: e.g. swapping two lines of code changes completely its semantics. I want to devise machine learning techniques that are trained with abstract models of the codes and are able to derive similarities ...

Published on: September 19 2023

Latest research paper

Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro: Serverless Scheduling Policies based on Cost Analysis, June 2023 Cosimo Laneve, Alessandro Parenti, Giovanni Sartor: Legal Contracts Amending with Stipula, November 2022. The extended ...

Published on: May 25 2021

New Lab on Blockchain and New Technologies

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

Published on: January 09 2019

LATEST RESEARCH PAPERS

  Cosimo Laneve, Alessandro Parenti, Giovanni Sartor: Legal Contracts Amending with Stipula, November 2022 Silvia Crafa, Cosimo Laneve: Liquidity Analysis in Resource-Aware Programming, April 2022.  Silvia Crafa, Cosimo Laneve: Programming legal contracts: a beginners ...

Published on: January 24 2018