Guy Cousineau est un universitaire français né le , spécialiste en informatique. Il commence sa carrière en 1972 à l'université Pierre-et-Marie-Curie, avant de 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 il a par ce biais dirigé la création du langage de programmation Caml.

Carrière Carrière universitaire Sa carrière universitaire débute par un poste d'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. 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 rechercheFiche personnalité, Guy Cousineau, Éducpro, consulté sur www.educpros.fr le 3 mars 2011. puis comme conseiller scientifique.

Au sein de Paris 7, il est successivement directeur de l’UFR d’Informatique, puis vice-président du conseil scientifique de l’universitéGuy COUSINEAU, Professeur à l’Université Paris Diderot , Agence d'évaluation de la recherche et de l'enseignement supérieur, consulté sur www.aeres-evaluation.fr le 4 mars 2011..

Il travaille à 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, à la création d’un département de mathématiques et informatique, d’un laboratoire d’informatique et d’un magistère. 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.

Présidence de l'université Paris 7 Le , il est élu président de l'université Paris 7, puis est confirmé à cette fonction par le conseil d'administration de l'université le dans le cadre de l'application de la autonomie« Guy Cousineau confirmé dans ses fonctions de président de l'université Paris 7 », Educpro, 9 mars 2008, consulté sur www.educpros.fr le 3 mars 2010..

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 ParisGuy Cousineau, « Le mot de Guy Cousineau », Di@logues de Descartes, N°2, Juillet 2008, consulté sur www.univ-paris5.fr le 3 mars 2011., mais le projet n'est pas retenu. 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 aboutit à 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 parisiennesC.A., « Les universités Panthéon Sorbonne, Descartes et Diderot hésitent à fusionner », Observatoire Boivigny, 20 novembre 2008, consulté sur www.boivigny.com le 3 mars 2011..

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. Il soutient cette mesureSylvestre Huet, « Crise universitaire, examens, grèves... jusqu’où ? », {Sciences²}, 8 avril 2009, consulté sur sciences.blogs.liberation.fr le 3 mars 2011. et voit dans celle-ci la possibilité de Aude Sérès, « Les présidents d'université face à leur autonomie », Le Figaro, 25 juillet 2008, consulté sur www.lefigaro.fr le 4 mars 2010.Véronique Soule, « Les patrons d'université se voient déjà managers », Libération, 25 juillet 2007, consulté sur www.liberation.fr le 4 mars 2011.. 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és à cette loi« Crise à la fac Paris-Diderot », Le Parisien, pages Paris, 9 septembre 2008, consulté sur www.leparisien.fr le 4 mars 2011.. Il démissionne en avril 2009 à la suite d'élections partielles au conseil d'administration de l'université dans laquelle la liste qu'il soutient est mise en minoritéSylvestre Huet, « Le président pro-Pécresse de Paris-7 démissionne », {Sciences²}, 9 avril 2009, consulté sur sciences.blogs.liberation.fr le 3 mars 2011.. Déclarant qu'il n'était plus en mesure d'exercer ses fonctions, il convoque une élection pour le « Paris 7 : démission du président mis en minorité », Educpro, 10 avril 2009, consulté sur www.educpros.fr le 3 mars 2010.. Vincent Berger qui dirigeait une liste concurrente et majoritaire lors de l'élection partielle au CA lui succède.

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 Caml dont il a dirigé pendant cinq ans le développement au sein de l’Inria, et au développement d'implantations fondées sur des sémantiques formelles.

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, « », , Springer LNCS 74, 1979. Guy Cousineau, « », , 12, 1980. Guy Cousineau et Patrice Enjalbert, « », IFIP 1980, . Guy Cousineau, Pierre-Louis Curien, Michel Mauny et Ascander Suarez, Combinateurs catégoriques et langages fonctionnels (), Springer LNCS 242, 1985. Guy Cousineau, Pierre-Louis Curien et Michel Mauny, « », , 8, 1987. Guy Cousineau, Gérard Huet et Ascander Suarez, « », , Addison-Wesley, 1990. Guy Cousineau et Michel Mauny, , , 1996. Guy Cousineau, « », , 281, 2002.

Notes et références

Liens externes

Catégorie:Naissance en juillet 1949 Catégorie:Professeur à l'université Pierre-et-Marie-Curie Catégorie:Professeur à l'université Paris-VII (Diderot) Catégorie:Président de l'université Paris-Diderot