Roberto Di Cosmo
Roberto Di Cosmo, Univeristé Paris 7
Ancien élève de la Sculoa Normale Superiore de Pise, Roberto Di Cosmo a été Maître de Conférence à l'ENS Ulm de 1993 à 1999, ensuite professeur à l'Université Paris Diderot, et aussi chercheur associé a l'Inria. Ses intérêts de recherche vont de la programmation massivement parallèle, à la logique, aux langages de programmation, et à la vérification du logiciel et aux méthodes formelles en générale, avec une attention particulière aux logiciels libres. Il mène depuis 1998 une action régulière de vulgarisation auprès du grand public autour des enjeux fondamentaux de l'Informatique dans notre société.
Parmi les ouvrages les plus connus, Piège dans le Cyberespace (http://www.dicosmo.org/Piege/PiegeFR.html), traduit en sept langues, et le best seller Le Hold-up planétaire, avec Dominique Nora (http://www.dicosmo.org/HoldUp). On peut trouver sur son blog (http://www.dicosmo.org/MyOpinions) des analyses récentes sur ces sujets.