Fabien BONNEFOI

En résumé

Entreprises

• IPSA - Enseignant en Informatique

  Paris 2014 - maintenant Enseignant et responsable de l'enseignement informatique de l'IPSA, école d'ingénieur en Aéronautique.
  Gestion de l'équipe d'enseignement en informatique et recrutements.
  Gestion de l'évolution des programmes et moyens d'enseignement en informatique de l'école.
  Enseignement en : Programmation (python, c, c++), Réseaux IP, Modélisation (UML), Programmation de systèmes embarqués temps-réels sous linux.
  Si vous souhaitez me contacter:
  fabien (dot) bonnefoi -at- ipsa (dot) fr

• Université paris 10 & école Hitema & etc. - Enseignant en Informatique

  2013 - 2014 Diverses vacations en enseignement en Informatique (programmation, programmation Web, réseaux, Linux etc.)

• CSTB - Post-Doctorant

  Marne-la-Vallée cedex 2 2011 - 2012 Étude, conception et modélisation du trafic routier multi-échelles. Participation au développement d'un logiciel de simulation urbaine intégré multi-critères et multi-échelles (trafic, pollution, consommation énergétique etc.). Diffusion et publication des travaux dans des colloques.

• Institut Galilé - Université Paris 13 - Attaché temporaire d'enseignement et de recherche (ATER)

  2010 - 2011 Travaux de recherche dans les domaines des Systèmes de Transport Intelligents, de la Vérification Formelle des systèmes complexes et critiques, et de l’ingénierie des systèmes d'informations au sein de l'équipe Logique, Calcul et Raisonnement (LCR) de L'institut Galilée(1)
  Responsable de l'enseignement du cours « Java Graphique » en Licence professionnelle Électronique et Informatique Industrielle et chargé de TD/TP pour les enseignements sur les "Systèmes d'Exploitations" de l'IUT de Villetaneuse (2),
  
  
  (1) L'institut Galilée, constitué de 7 laboratoires, se consacre à la recherche et à l'enseignement dans les domaines des mathématiques, de la physique, de la chimie et de l'informatique depuis 35 ans.
  Elle est aussi constituée d'une école d'ingénieurs et d'une formation par la recherche qui représente plus de 140 doctorants.
  (2)L’IUT de Villetaneuse accueille 1400 étudiants en formation initiale et 200 adultes salariés en plan de formation. Il assure une
  formation professionnelle sous tutelle de l'université de Paris XIII, en lien avec l'institut de recherche Galilée.

• COFIROUTE et Laboratoire d'informatique de Paris 6 - Dorctorant CIFRE - Ingénieur de recherche

  2006 - 2010 Ingénieur de recherche en thèse dans le cadre d'une convention CIFRE pendant 4 ans au sein de l'équipe Modélisation et Vérification ("MoVe") du Laboratoire d'Informatique de Paris 6("LIP6") et dans l'équipe Développement des Systèmes, Équipements et Technique Innovantes (DSETI) de la société COFIROUTE, sous la direction de Fabrice Kordon(1) et de Guy Fremont(2).
  
  
  Pendant ces quatre années j'ai:
  - encadré le groupe de travail COSIB ("Cooperative Systems Infrastructure Based") au sein du projet de recherche européen de sécurité pour la route SAFESPOT ("Cooperative systems for road safety")(3)
  - encadré le développement de l'application de sécurité pour la route "Hazard & Incident Warning" basée sur l'utilisation de communications sans fil (802.11p) entre les véhicules et l'infrastructure,
  - publié mes travaux de recherche portant sur l'utilisation des méthodes de
  vérification formelle au cours du développement de Systèmes Complexes et Critiques et les Systèmes de Transport Intelligents,
  - assuré des enseignements sur les protocoles réseaux et les technologies du Web au étudiant en Master 1 au Département Informatique de l'Université Paris 6,
  - soutenu ma thèse intitulée
  "Vérification des spécifications des systèmes complexes: Application aux Systèmes de Transport Intelligents"
  
  
  (1)Fabrice Kordon est professeur de l'université Paris 6 spécialisé en vérification formelle et en développement basé sur la vérification,
  (2)Guy Fremont est responsable du département recherche et développement à la SANEF (il occupait auparavant ce poste au sein de la société Cofiroute) spécialisé dans les Systèmes de Transports Intelligents.
  (3) SAFESPOT est un Projet Intégré constitué de plus de 50 partenaires européens et doté d'un budget de 38M€ sur 4ans(http://www.safespot-eu.org/).

• Laboratoire des Systèmes Complexes (LSC, unité CNRS) à l'Université d'Évry - Ingénieur de recherche

  2005 - 2005 Prototypage d'une application client-serveur et développement de simulations (C++, Matlab, Simulink) dans le domaine des transports.
  Réalisations d'études techniques dans le domaine des télécommunications pour le projet de recherche européen PreVENT (''PReVENTive safety'').

Formations

• Université Paris 6 Pierre Et Marie Curie

  Paris 2006 - 2010 Doctorat en informatique
  
  Thèse CIFRE à Cofiroute et Paris 6, Mention très honorable
  Titre de la thèse : « Vérification des spécifications des systèmes complexes: Application aux Systèmes de Transport Intelligents »
  -Publications dans les domaines des transports intelligents et de la vérification formelle
  - Gestion de Projet, conception et encadrement d'un application coopérative (réseau) de sécurité routière etc...

• Université Paris 6 Pierre Et Marie Curie

  Paris 2003 - 2004 Master Recherche (DEA) en Informatique
  
  Mention Bien
  Stage effectué au Laboratoire des Interactions Infrastructure Véhicules Conducteur (Livic)

Réseau

• Barbara CERRET

• Bruno HILAIRE

• Hermant JULIEN

• Jean-Yves PERROUX

• Tony HINFRAY