Alain Griffault


LaBRI
Bordeaux 1
Recherche
Programme du groupe de travail MVTsi.
AltaRica
ESACS : Enhanced Safety Assessment for Complex Systems
ISAAC : Improvement of Safety Activities on Aeronautical Complex systems
Action Spécifique 155 : Approches formelles pour l'analyse et la synthèse sûre de contrôle des systèmes dynamiques hybrides
Action Concertée Incitative Sécurité & Informatique : Projet Persée
Action Coopérative INRIA Mars : Synthèse de commande des systèmes à événements discrets à l'aide des réseaux de Petri
Enseignement
Master Vietnam 2 Formal Design (lessons and TDs) Two files for the exam : abp.alt. and abp.spe.
Master Informatique 1 Cours et TD de Conceptions Formelles.
Master BioInformatique 1 Cours en Algorithmique et Structures de Données.
Master BioInformatique 1 Cours en Algorithmique et Structures de Données Avancées.
Licence Informatique 4 & 6 Cours de Bases de Données.
Master ESSV Cours.
Administration
UF Informatique Répartition des enseignements.
Master Informatique Responsable des parcours Ingénierie des Systèmes Critiques.
CSE 27 Bordeaux IV Membre nommé.
Conseil Scientifique UFR Mathématique et Informatique Membre élu.
Divers
PPL

Mes pages du serveur LaBRI LaBRI, bureau 262, tél. (05-40-00) 69-15, fax. (05-40-00) 66-69. Alain.Griffault@LaBRI.fr