Cyril Allignol est enseignant-chercheur dans l’équipe OPTIM de l’ENAC. Ses travaux se classent dans deux catégories:

• la résolution de problèmes d’optimisation combinatoire liés à l’organisation du trafic aérien et des opérations aéroportuaires;
• la formalisation de langages réactifs utilisés pour l’implémentation d’outils d’aide au contrôle aérien ou au pilotage, à des fins de garantie de propriétés sur ces programmes.