Roberto Di Cosmo
Roberto Di Cosmo is professor of computer science at University Paris Diderot, director of Irill, currently on leave at INRIA.
His research interests include functional and parallel programming, type systems, logic, rewriting, and the static analysis of large software collections.