Foto del docente

Cosimo Laneve

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Avvisi

NUOVA Tesi di laurea triennale su NFT + Blockchain

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, ...

Pubblicato il: 29 aprile 2024

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 ...

Pubblicato il: 19 settembre 2023

Latest research paper

Cosimo Laneve: Reachability Analysis in Legal Contracts, April 2024 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 ...

Pubblicato il: 25 maggio 2021

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

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 ...

Pubblicato il: 24 gennaio 2018