Jeannet, Bertrand (19..-.... ; informaticien)
France
Date de naissance
19XX
Langues d'expression
français
anglais
Informaticien Directeur technique Société Argosim, Saint-Martin-d'Hères, Isère en 2019)
Auteur d'une thèse de doctorat en informatique (Grenoble INPG, 2000)
Auteur d'une thèse de doctorat en informatique (Grenoble INPG, 2000)
Bertrand Jeannet est chercheur à Inria Grenoble - Rhône-Alpes, après avoir fait son doctorat au laboratoire Verimag et passé 4 ans à Inria, à Rennes. Il est spécialiste dans l'analyse statique de programmes par des méthodes d'interprétation abstraite.
Disciplines liées à ses interventions
Vidéos
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie
Jeannet
Bertrand
Girault
Alain
Nous présentons les systèmes embarqués critiques et les exigences qui leur sont liées : dans certains cas (nucléaire, avionique, santé) aucun bug n'est accepté. Puis nous présentons l'analyse
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie
Jeannet
Bertrand
Girault
Alain
Nous présentons les systèmes embarqués critiques et les exigences qui leur sont liées : dans certains cas (nucléaire, avionique, santé) aucun bug n'est accepté. Puis nous présentons l'analyse