Alain Griffault

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) 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