Didier Le Botlan

Didier LE BOTLAN is lecturer at the INSA Toulouse Computer and Electrical Engineering Department and he is part of the VERTICS research group in the LAAS, and works on embedded systems and formal methods. He intervenes in Ada at the STPI, in 3MIC Graphs, in 3MIC Regexps and 4AE Java.


Contact : didier.le-botlan @ insa-toulouse.fr