Meet the Team

Bio

Dr. Cong Liu serves as a Principal Engineer within the Applied Research and Technology organization at Collins Aerospace. Dr. Liu is a PI for the DARPA Assured Neuro Symbolic Learning and Reasoning (ANSR) program, where he leads a research team investigating a neuro-symbolic approach to LLM fine-tuning. Dr. Liu’s primary area of expertise lies in the design of automation of cyber-physical systems, particularly through the application of formal methods. Dr. Liu has made significant contributions to several high-profile programs, including the DARPA Cyber Assured Systems Engineering (CASE) program, where he developed an assume-guarantee compositional verification framework for scheduled components. Additionally, as part of the DARPA Architecture and Analysis for High-Assurance Autonomy (AAHAA) program, he introduced an innovative approach to applying formal methods for the verification of avionics systems with machine learning components. He earned his Ph.D. in Electrical Engineering and Computer Sciences from the University of California, Berkeley.