After teaching for almost a decade at
Ecole Normale Supérieure in Paris, Roberto Di Cosmo became full professor in Computer Science at
University Paris Cité. He is currently on leave at
Inria to lead the
Software Heritage project.
His research interests span a wide spectrum from foundational aspects of logical systems to functional programming, parallel and distributed programming. He created and directed the european reseach project
Mancoosi to improve the quality of large collections of software quality, and is investigating now the scientific problems posed by the general adoption of Free Software, with a particular focus on static analysis of large software collections.
A long term Free Software advocate, contributing to its adoption since 1998, he has created the
Free Software thematic group of
Systematic in October 2007, which has helped fund over 40 research and development projects, and he is now director of
IRILL, a research structure dedicated to Free and Open Source Software quality.