Rector de la Universidad Paris-Diderot | |
---|---|
2007 | |
Benoît Eurin Vincent berger |
Nacimiento | 30 de julio de 1949 |
---|---|
Nacionalidad | francés |
Actividad | Informático |
Trabajé para | Universidad Pierre y Marie Curie |
---|
Guy Cousineau es un académico francés nacido el30 de julio de 1949, Especialista en TI . Comenzó su carrera en 1972 en la Universidad Pierre-et-Marie-Curie , antes de trabajar en la École normale supérieure , luego en la Universidad de París VII .
Dirigió la Universidad de París VII de 2007 a 2009 , mandato durante el cual hizo que la universidad se volviera autónoma , trabajó para acercar su establecimiento a otras universidades y escuelas a través del proyecto “Campus París-Centro” defendido en el marco del campus. plan y el inicio de la construcción de PRES Sorbonne Paris Cité .
Su investigación se centra en los métodos formales aplicados a la seguridad del software, y a través de esto lideró la creación del lenguaje de programación Caml .
Su carrera universitaria comenzó con un puesto de asistente en 1972 , luego como profesor asistente en 1979 en la Universidad de Pierre-et-Marie-Curie . Allí trabaja dentro del Laboratorio de Programación y Ciencias de la Computación Teórica (LITP) y allí dirige uno de sus equipos. Posteriormente fue nombrado profesor de la Universidad de París VII en 1981 tras una estancia en el Instituto Nacional de Investigación en Informática y Automatización como investigador y luego como asesor científico.
Dentro de Paris 7, fue sucesivamente director del departamento de TI y luego vicepresidente del consejo científico de la universidad.
Trabajó en la École normale supérieure de 1986 a 1996 como profesor de informática. En el momento en que se fusionaron las ENS de Ulm y Sèvres , contribuyó a la creación de un departamento de matemáticas e informática, un laboratorio de informática y un magisterio. Más tarde se convirtió en el primer director de estudios de ciencias de la computación en la escuela unificada y se desempeñó como director del laboratorio de computación de ENS y subdirector del departamento de matemáticas e informática. En 1995 abrió allí una "Programación" de la DEA reuniendo la formación de posgrado de universidades y escuelas de la región de París en el campo de software y métodos formales, y supervisó esta formación hasta su transformación en un máster MPRI en 2005 .
La 22 de marzo de 2007, fue elegido presidente de la Universidad de París 7, luego fue confirmado para esta función por la junta directiva de la universidad en 9 de abril de 2008en el marco de la aplicación de la autonomía .
La universidad trabaja en el marco del plan del campus y defiende el proyecto “Campus Paris-Centre” con la Universidad Paris V , el Instituto de Física Globe , el Observatorio de París y el Instituto de Estudios Políticos de París , pero el proyecto no es seleccionado. En la continuación de este trabajo, evoca a finales de 2008 una fusión entre las universidades de París 1 , París 5 y París 7 , reagrupación que da lugar a la creación de la PRES Université Paris Cité a finales de 2009 tras la salida de Paris 1 y la llegada de las grandes escuelas parisinas.
También participa en la preparación del cuatrienio 2009 - 2012 desde la universidad, y la transición a responsabilidades y habilidades ampliadas requeridas por la LRU. Apoya esta medida y ve en ella la posibilidad de "decidir sobre la creación de puestos dentro del techo de nómina" . Sin embargo, debe enfrentar una oposición dentro de su universidad, que toma como marco un movimiento de oposición nacional a esta ley . De este modo, ve la validez de su reelección de 2008 cuestionada en los tribunales por miembros de la universidad opuestos a esta ley. Renunció en abril de 2009 tras las elecciones a la junta directiva de la universidad en la que la lista que apoyaba fue derrotada. Declarando que ya no podía desempeñar sus funciones, convocó a elecciones para el5 de mayo de 2009. Vincent Berger, quien encabezó una lista competidora y mayoritaria en las elecciones parciales a la Junta Directiva, lo sucede.
Su investigación se centra en los métodos formales aplicados a la seguridad del software. Ha trabajado en el diseño de lenguajes de programación, como Caml, cuyo desarrollo lideró durante cinco años en Inria , y el desarrollo de implementaciones basadas en semántica formal.