Elu président de l'université Paris Diderot - Paris 7 en mars 2007, puis confirmé à cette fonction en avril 2008 dans le cadre de la loi LRU, ce professeur d’informatique a annoncé sa démission en avril 2009, suite aux élections partielles au conseil d'administration. Guy Cousineau commence sa carrière à l’UPMC, où il a été successivement assistant et maître-assistant. Après un séjour comme chargé de recherches à l’Inria, il est nommé professeur à Paris-7 en 1981. Son domaine de recherche est celui des méthodes formelles appliquées à la sûreté du logiciel. Il a travaillé à la conception de langages de programmation sûrs et au développement d'implantations fondées sur des sémantiques formelles. Il a notamment contribué à la création du langage Caml, dont le développement a été assuré par l’Inria. Entre 1986 et 1996, il a collaboré à l’Ecole normale supérieure (ENS) où il a contribué à la création d’un département de mathématiques et informatique, d’un laboratoire d’informatique et d’un magistère. Il y a exercé les fonctions de directeur des études et de directeur de laboratoire. En 1995, il a créé des DEA "Programmation" qui ont fédéré la formation de troisième cycle des universités et des écoles de la région parisienne dans le domaine du logiciel et des méthodes formelles.