• Home
• Research
• Teaching
• Projects
• Talks

Projects

• Airborne Collision Avoidance System X, FAA
• High Assurance Cyber Physical Systems, DARPA Funded (2012-)
• Computational Modeling and Analysis for Complex Systems, NSF Expedition (2009-2014)
• ASOPT (Static analysis and optimization), ANR Project. (2009-2012)
• PASO (Preuve, Analyse Statique, Optimisation), DIGITEO Project. (2009-2011)