Bin F. is a Senior Formal Verification Engineer at Huawei, where they focus on formal verification, functional safety, and related methodologies. They completed a Doctor of Philosophy in Computer Science at Université Paris Cité and served as a Ph.D. student at Université Denis Diderot (Paris VII). Bin has also gained experience as a Program Verification Intern at 上海高可信计算实验室 and as a Teaching Assistant at East China Normal University in 2014.
This person is not in the org chart
This person is not in any teams
This person is not in any offices