معرفی
Fang Yan is a Researcher in the Department of Computer Science at the University of York, based in office CSE/010 with departmental contact number +44 (0)1904 325500.
Her educational background includes:
- Master's degree in Aviation Maintenance Engineering
- Bachelor's degree in Electronics and Information Engineering
Fang specializes in Model-based Assurance Cases for Robotic Autonomous Systems, focusing on Assurance Case (AC) generation and verification using Formal Methods (FM). Her research bridges Software Engineering, Safety-Critical Systems, and Formal Methods to address safety validation challenges in autonomous robotics. This work is particularly relevant for high-stakes applications like aviation where system failures could have catastrophic consequences.
Prior to her current role, Fang accumulated extensive industry experience in China's aviation software certification sector, providing certification services, industry advisory, teaching, and training. This practical background directly informs her current research methodology and problem selection in robotic systems assurance.
