Dr. Cong Liu is a Principal Engineer in the Trusted Methods Group at Collins Aerospace. He received his Ph. D. in Electrical Engineering and Computer Sciences from University of California, Berkeley in 2006. Dr. Liu has more than 15 years of research and development experiences in design automation and formal verification for safety-critical cyber-physical systems. He has extensive hands-on system and software design experiences of aircraft Electric Power Systems and Air Management Systems.
Dr. Liu worked on DARPA CASE program and is currently working on the DARPA Assured Autonomy program and DARPA ANSR program, where he focuses on formal verification of neural networks.
His research interests include embedded system design methodology, formal verification, real-time scheduling, formal methods, virtual system integration, AI/ML, and model-based systems engineering. He holds one patent on synthesis of message sequence charts from communicating finite-state machines.