Parole chiave:
linguaggi di programmazione
verifica statica di programmi
semantica dei linguaggi di programmazione
implementazione prototipale di linguaggi di programmazione e tools
biologia molecolare formale
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 HATS (Highly Adaptable and Trustworthy Software using Formal Methods ) Project