Professor, Scientific Coordinator
Cosimo Laneve is Professor at the Department of Computer Science and Engineering of the University of Bologna. His research interests cover the theory of programming languages and the analysis of program properties. Cosimo Laneve has also been a Microsoft Visiting Scientist, and has led a Microsoft project about a Programming Language for Web Services. Cosimo Laneve has been site leader of several national and European projects and has been principal investigator of industrial projects.