Mohamed Niang a soutenu sa thèse de doctorat, intitulée "Vérification formelle et simulation pour la validation des systèmes de contrôle commande des EALE", menée sous la direction de Bernard Riera et l'encadrement d'Alexandre Philippot et François Gellot. Toutes nos félicitations !