Keywords:
programming languages
static analysis of programs
programming languages semantics
prototype implementations of programming languages and analysis tools
formal molecular biology
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
