Cosimo Laneve got the PhD degree in Computer Science in 1993.
From January 1993 to October 1994 he has been
Post-Doctoral Researcher at INRIA Sophia-Antipolis, in France.
Since 1994 he has been Researcher, Associate Professor, and then
Full Professor at the Computer Science Department of the
University of Bologna. Cosimo Laneve's research
interests cover the area of the theory of programming languages, in
languages, and the analysis of program properties.
Cosimo Laneve is author of more than 80 publications on
international journals, conferences, and books. He is, or has
been, member of several program committes of international
conferences and workshops. 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.