NUOVA TESI DI LAUREA TRIENNALE + TIROCINIO FORMATIVO: Sviluppo di prodotti e servizi innovativi ad alto valore tecnologico (NFT - Blockchain) legati al turismo in segmenti di nicchia quali: 1) turismo golfistico, 2) turismo nautico di lusso, 3) turismo enogastronomico, 4) turismo ed ospitalità rurale, ...
Published on: April 29 2024
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
Cosimo Laneve, Alvise Spano`, Dalila Ressi, Sabina Rossi, Michele Bugliesi: Assessing Code Understanding in LLMs, May 2025 (extended abstract appeared in Forte 2025)
Giorgio Delzanno, Cosimo Laneve, Arnaud Segnier, Gianluigi Zavattaro: Decidability Problems for Micro-Stipula, ...
Published on: May 25 2021
The Lab promotes the research on Blockchain and New Technologies and their technological transfer.
Published on: January 09 2019
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
