Cosimo Laneve's research interests cover the area of the theory of programming languages, in particular concurrent/functional/object-oriented languages, and the analysis of program properties.
PROJECTS
current
past
- The ENVISAGE (Engineering Virtualized Services) Project
- The HATS (Highly Adaptable and Trustworthy Software using Formal Methods ) Project
