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