Aller au contenu  Aller au menu  Aller à  la recherche

logo Insa

Didier Le Botlan

Didier Le Botlan est Maître de Conférences à l'INSA de Toulouse au département Génie Électrique et Informatique, et fait partie du groupe de recherche VERTICS au LAAS, travaillant dans les systèmes embarqués et méthodes formelles.
Il intervient en Ada au STPI, en 3MIC Graphes, 3MIC Regexps, et 4AE Java.

didier.le-botlan @ insa-toulouse.fr

Institut National des Sciences Appliquées

Rapport d'activités

Christophe CHASSOT
christophe.chassot @ insa-toulouse.fr