Pages personnelles professionnelles

Logique pour l'informatique
- logiques temporelles / temporisées
- logiques déontiques
- vérification de modèle (model checking)
Méthodes formelles pour la conception et la validation de systèmes
- Analyse de la sûreté de fonctionnement de systèmes critiques
- projet Coccinelle (pour la détction de bugs et la mise à jour d'API)
- méthodes catégoriques pour la compositon d'architectures
Sécurité informatique
- formalisation de politiques de sécurité
- conformité / compatibilité d'un système vis à vis d'une politique

Bienvenue à l'Onera, le centre français de recherche aérospatiale