RETROUVEZ GRATUITEMENTLe résultat des européennes à Saint-Étienne ainsi que le résultat des européennes dans la Loire.
Enseignant-Chercheur Mathématiques/Informatique à l'Ecole Supérieure de Mécanique et Electricité ESME Sudria Lyon
Mes compétences :
Programmation informatique
Mathématiques
Proof assistant COQ
Vérifications formelles
Model Checking