Cyril Allignol

Cyril Allignol is a Lecturer and Researcher in the OPTIM team at the National School of Civil Aviation (ENAC) research laboratory. His work focuses on two primary themes: (1) solving combinatorial optimization problems related to air traffic and airport operations using constraint programming, and (2) formalizing reactive languages to ensure guaranteed properties for air traffic control and piloting assistance tools.

• PhD in Computer Science and Telecommunications (2011) from the University of Toulouse
• ENAC Engineer (2006)
• Master's in Computer Science and Telecommunications (2006) from the University of Toulouse

His research spans air traffic conflict resolution, detect-and-avoid algorithms for UAVs/UAS, and formal methods in reactive language compilation. He has contributed to constraint programming frameworks, robust gate allocation models, and 3D trajectory deconfliction systems. His work integrates metaheuristics, geometrical algorithms, and formal verification techniques.

Publications reveal expertise in mathematical optimization, UAS integration, and bigraph-based modeling for avionics systems. He collaborates with institutions across France, Italy, Georgia, and the United States through conferences like ICRAT, ATM Seminar, and ROADEF.

His team affiliation (OPTIM) and technical focus on conflict resolution, self-separation, and navigation accuracy highlight his contributions to air traffic safety and efficiency. Current projects include 4D-trajectory deconfliction and formal methods for avionics software.