Gli interessi di ricerca di Cosimo Laneve riguardano la teoria e l'implementazione dei limguaggi di programmazione, in particolare concorrenti/funzionali/object-oriented, e l'analisi di proprietà di programmi.
PROGETTI
correnti
passati
- The ENVISAGE (Engineering Virtualized Services) Project
- The HATS (Highly Adaptable and Trustworthy Software using Formal Methods ) Project
