La Deeptech voit BIG

AP

Antoine Petit

CNRS

Président-directeur

Description

Agrégé de mathématiques et docteur en informatique de l’université Paris Diderot, il est spécialiste de méthodes formelles, principalement à base de systèmes de transitions, pour la spécification et la vérification de systèmes parallèles en temps réel.
Chargement