Foto del docente

Cosimo Laneve

Full Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics


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.





  • The ENVISAGE (Engineering Virtualized Services) Project
  • The HATS (Highly Adaptable and Trustworthy Software using Formal Methods ) Project