Cyril Allignol

Enseignant chercheur

allignol@recherche.enac.fr
(+33) 562 25 95 77

Mini-CV

Depuis 2012	Enseignant chercheur au laboratoire MAIAA.
2008 - 2011	Thèse au sein de l'équipe Algorithmes Parallèles et Optimisation (APO) de l'IRIT: Planification de trajectoires pour l'optimisation du trafic aérien.
2006 - 2008	Expert à la Direction des Programmes Aéronautiques et de la Coopération (DGAC/DPAC).
2006	Stage de recherche (fin de Master) au Laboratoire d'Optimisation Globale (ENAC/DTI) : Suppression des symétries en programmation par contraintes.

Diplômes

Doctorat en Informatique et Télécommunications, délivré par l'Institut National Polytechnique de Toulouse (INPT), 2011
Master 2 Recherche Sûreté du Logiciel et Calcul à Hautes Performances (SLCHP), délivré par l'INPT, 2006.
Ingénieur des Études et de l'Exploitation de l'Aviation Civile (IEEAC), délivré par l'École Nationale de l'Aviation Civile (ENAC), 2006.

Centres d'intérêt professionnels

Mes travaux portent sur la résolution de conflits par allocation de créneaux de décollage. J'utilise différentes méthodes d'optimisation pour la résolution de ce problème : programmation par contraintes, algorithmes génétiques, recuit simulé.

Je participe également à la maintenance du simulateur de trafic CATS.

Publications

Enseignement

J'enseigne dans le cadre de la formation des ingénieurs ENAC, spécialité "Informatique et trafic aérien".

Calculabilité en troisième année
Théorie de la compilation en première année
Programmation et algorithmique
- C et OCaml en première année
- ADA en deuxième année