Registered user since Thu 8 Dec 2022
Huafeng Yu is a senior researcher with Boeing Research & Technology. He is currently working on Verification & Validation, Safety Assurance and Certification for Autonomous Systems. His main research interests include formal methods, artificial intelligence, machine learning, model-based engineering, cyber security, and safety certification. Before joining Boeing, he worked in TOYOTA, ALTRAN, INRIA, Gemplus (acquired by Thales), and Panasonic. Huafeng received his PhD from INRIA and University of Lille 1 (France, 2008) and Master’s from University Joseph Fourier (France, 2005), both in Computer Science.
Huafeng is currently a member of IEEE Technical Committee on Cyber-Physical Systems (CPS), SAE G-34 Standard Committee on Artificial Intelligence in Aviation, SAE Standard Committee G-32 on Cyber-Physical Systems Security, SAE S-18A Autonomy Working Group and ANSI UASSC Working Group. He was a member of SAE standard committee for AADL. Huafeng serves as associate editor of IET Journal on Cyber-Physical Systems, guest editor of IEEE Transaction on Sustainable Computing, ACM Transactions on Cyber-Physical Systems, and SAE journal Aerospace. Huafeng has served on Program Committee of NFM, DAC, ICAA, NSV, SAC, ICPS, DATE, ICCAD, DASC, SmartWorld, ARCH, SLIP, WICSA and CompArch, and AVICPS.
Contributions
View general profile