RIBAUD Vincent
enseignant-chercheur
en ingénierie du logiciel et en vérification formelle par model-checking
Enseignant-chercheur
Etablissement : Université Bretagne Occidentale
Affectation de recherche : LABSTICC (Laboratoire des sciences techniques de l'information, de la communication et de la connaissance)
Equipe(s) : MOCS - Lab-STICC, UMR 6285
enseignant-chercheur
en ingénierie du logiciel et en vérification formelle par model-checking
Enseignant-chercheur
Etablissement : Université Bretagne Occidentale
Affectation de recherche : LABSTICC (Laboratoire des sciences techniques de l'information, de la communication et de la connaissance)
Equipe(s) : MOCS - Lab-STICC, UMR 6285
Pour la messagerie : prénom.nom@univ-brest.fr
Tél.+33298016971
Page personnelle : https://cv.archives-ouvertes.fr/vincent-ribaud
Tél.+33298016971
Page personnelle : https://cv.archives-ouvertes.fr/vincent-ribaud
État civil
Vincent Ribaud, né le 20 Août 1959 à Paris,
marié, 5 enfants
maître de conférences hors-classe en informatique à l'université de Bretagne Occidentale (Brest).
Titres universitaires
- 2002 Aptitude aux fonctions de maître de conférences (Ministère de l’Éducation Nationale)
- 1982 DEA d'Informatique (Université de Rennes I)
- 1981 Maîtrise de Structures Mathématiques de l'Informatique (Université de Nantes)
- 1980 Licence de Mathématiques (Université de Nantes)
Emplois occupés
- 2002-. . . Maître de conférences (par liste d'aptitude) à l'Université de Bretagne Occidentale
- 1994-2002 Assistant à l'Université de Bretagne Occidentale
- 1986-2000 Consultant à temps partiel en systèmes d'information et en bases de données Oracle
- 1991-1994 Ingénieur à plein temps chez Syseca-Thalès Services (en disponibilité pour convenances personnelles)
- 1986-1991 Assistant à l'Université de Bretagne Occidentale
- 1984-1986 Assistant à l'Université de Rennes I
- 1982-1984 Allocataire DGRST à l'Université de Rennes I
Principales responsabilités
- 2011-. . . Représentant de l'Université de Bretagne Occidentale à la commission européenne de normalisation - CEN Workshop on ICT-Skills,
- 2010-. . . Expert a l'AFNOR, délégué français à l'ISO SC7 - Software and systems engineering
- 2005-2009 Directeur de l'IUP Ingénierie Informatique
- 1991-1994 Directeur technique de l'agence de Brest de Thalès Services
- 1989-1991 Directeur du département informatique de la faculté des sciences de Brest
- 1988-2008 Responsable de la filière Informatique au CNAM centre associé de Brest