Accessibility statement

Fang Yan
Research Staff


Fang's research interests are in the Model-based Assurance Cases process for Robotic Autonomous Systems.
She is currently working specifically on the topic of AC generation and verification technical solutions based on FM.


Fang holds a Master degree in aviation maintenance engineering and a bachelor degree in Electronics and Information Engineering.


She worked in the aviation software certification field for years to provide certification service, industry advisory, teaching, and training in China.

Additional Contact Numbers

Phone:+44 (0)1904 325440

Contact details

Department of Computer Science
University of York
Deramore Lane
YO10 5GH

Phone: +44 (0)1904 325500

Office: CSE/013-5