He earned his Ph.D. degree, specialized in the area of multiple-vehicle control and its application to air traffic control using hybrid systems approach, at Stanford University. His research includes modelling, information inference, cyber security analysis and high assurance control of complex cyber-physical systems (CPSs) with applications to intelligent embedded systems (e.g., aircraft), Unmanned Aircraft Systems (UASs) and air traffic control (ATC). He is an Associate Fellow of the American Institute of Aeronautics and Astronautics, and an associate editor of the IEEE Transactions on Aerospace and Electronic Systems and Asian Journal of Control, and a conference editorial board member of IEEE Control Systems Society.