Foto del docente

Cosimo Laneve

Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Computer Science

Research

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