GRENOBLE
Spécialisé dans le domaine des systèmes pour petits systèmes embarqués, type cartes à puce. Utilisation de méthodes formelles pour l'optimisation et la fiabilisation des systèmes. Mes compétences : Recherche