Guy Cousineau

Guy Cousineau
Président de l’université Paris VII
Élu(e) le	22 mars 2007
Prédécesseur	Benoît Eurin
Successeur	Vincent Berger
Date de naissance	30 juillet 1949
Profession	Professeur des universités

Guy Cousineau est un universitaire français né le 30 juillet 1949, spécialiste en informatique. Il commence sa carrière en 1972 à l'université Pierre-et-Marie-Curie, avant d'être amené à travailler à l'École normale supérieure, puis à l'université Paris VII.

Il dirige l'université Paris VII de 2007 à 2009, mandat pendant lequel il fait passer l'université à autonomie, travaille au rapprochement de son établissement avec d'autres universités et écoles via le projet de « Campus Paris-Centre » défendu dans le cadre du plan campus, et à la mise en chantier du PRES Sorbonne Paris Cité.

Ses recherches portent sur les méthodes formelles appliquées à la sûreté du logiciel, et a par ce biais dirigé la création du langage de programmation Caml.

Carrière

Carrière universitaire

Il débute sa carrière universitaire en étant nommé comme assistant en 1972, puis comme maitre assistant en 1979 à l'université Pierre-et-Marie-Curie. Il y travaille au sein du Laboratoire d’Informatique Théorique et Programmation (LITP) et y dirige une de ses équipes^[1]. Il est par la suite nommé professeur à l'université Paris VII en 1981 après un séjour à l'institut national de recherche en informatique et en automatique comme chargé de recherche^[2] puis comme conseiller scientifique^[1].

Au sein de Paris 7, il assure successivement les fonctions de directeur de l’UFR d’Informatique, puis de vice-président du conseil scientifique de l’université^[1].

Il est amené à travailler à l'École normale supérieure de 1986 à 1996 comme professeur d’informatique. Il contribue, au moment où les ENS d'Ulm et de Sèvres fusionnent^[1], à la création d’un département de mathématiques et informatique, d’un laboratoire d’informatique et d’un magistère^[2]. Il devient par la suite le premier directeur des études d’informatique de l’école unifiée et exerce les fonctions de directeur du laboratoire d’informatique de l’ENS et directeur-adjoint du département de mathématiques et informatique. En 1995 il y ouvre un DEA « Programmation » en fédérant 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, et il dirige cette formation jusqu'à sa transformation en master MPRI en 2005^[1].

Présidence de l'université Paris 7

Le 22 mars 2007, il est élu président de l'université Paris 7, puis est confirmé à cette fonction par le conseil d'administration de l'université le 9 avril 2008 dans le cadre de l'application de la autonomie^[3].

L'université travaille dans le cadre du plan campus et défend le projet « Campus Paris-Centre » avec l'université Paris V, l’institut de physique du globe, l’Observatoire de Paris et Institut d'études politiques de Paris^[4], mais le projet n'est pas retenu^[5]. Dans la suite de ce travail, il évoque fin 2008 une fusion entre les universités de Paris 1, de Paris 5 et de Paris 7, regroupement qui abouti à la mise en place du PRES Université Paris Cité fin 2009 après le départ de Paris 1 et l'arrivée de grandes écoles parisiennes^[5] .

Il participe par ailleurs à la préparation du contrat quadriennal 2009-2012 de l'université, ainsi qu'au passage aux responsabilités et compétences élargies prévues par la loi LRU^[1]. Il soutient cette mesure^[6] et voit dans celle-ci la possibilité de « décider des créations de postes dans le plafond de la masse salariale »^[7],[8]. Il doit cependant faire face à une opposition au sein de son université, qui prend pour cadre un mouvement d'opposition national à cette loi. Il voit ainsi la validité de sa réélection de 2008 contestée en justice par des membres de l'université opposé à cette loi^[9]. Il démissionne en avril 2009 suite à des élections partielles au conseil d'administration de l'université dans laquelle la liste qu'il soutient est mis en minorité^[10]. Déclarant qu'il n'était plus en mesure d'exercer ses fonctions, il convoque une élection pour le 5 mai 2009^[11]. Vincent Berger qui dirigeait une liste concurrente et majoritaire lors de l'élection partielle au CA lui succède^[10].

Domaine de recherche

Ses recherches portent sur les méthodes formelles appliquées à la sûreté du logiciel. Il a travaillé à la conception de langages de programmation, comme le Caml dont il a dirige pendant 5 ans le développement^[1] au sein de l’Inria, et au développement d'implantations fondées sur des sémantiques formelles^[2].

Publications

• Guy Cousineau. La programmation en EXEL. Rev. Trech. Thomson-CSF, partie 1 : 10(2) 1978, partie 2 : 11 (1) 1979.
• Guy Cousineau et Maurice Nivat. On rational expressions representing infinite trees : applications to the structure of flowcharts. Mathematical foundations of Computer Sciences, Springer LNCS 74, 1979.
• Guy Cousineau. An algebraic definition for control structures. Theoretical Computer Science, 12, 1980.
• Guy Cousineau et Patrice Enjalbert. Tree semantics : a framework for studying program structure and programblogics. IFIP 1980, North Holland.
• Guy Cousineau, Pierre-Louis Curien, Michel Mauny et Ascander Suarez. Combinateurs catégoriques et langages fonctionnels. Combinators and Functional Programming Languages. Springer LNCS 242, 1985.
• Guy Cousineau, Pierre-Louis Curien et Michel Mauny. The categorical abstract machine. Science of Computer Programming, 8, 1987.
• Guy Cousineau, Gérard Huet et Ascander Suarez. CAML : the theory, the machine, the language, Logical foundations of computer programming, Addison-Wesley, 1990.
• Guy Cousineau et Michel Mauny. The functional approach to programming. Cambridge University Press, 1996.
• Guy Cousineau. Tilings as a programming exercise. Theoretical Computer Science, 281, 2002.

Sources

• Portail des universités