Foto del docente

Cosimo Laneve

Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Computer Science

Curriculum vitae

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 particular concurrent/functional/object-oriented 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.