Khalil Ghorbal
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)