Your Name

Ph.D. · Researcher

华东师范大学 · 巴黎西岱大学

研究方向：形式化方法、程序验证、静态分析

教育背景

2014 - 2018

巴黎西岱大学 & 华东师范大学 · 计算机科学

专业方向：形式化方法

2013 - 2014

华东师范大学 · 软件工程理论与技术

2009 - 2013

华东师范大学 · 软件工程

2024 - 至今

某某科技公司 · 北京

负责机器学习算法研发，主导多个核心项目。

2020 - 2024

某某互联网公司 · 上海

从事推荐系统算法优化工作，提升用户点击率15%。

2019 - 2020

某某研究机构 · 深圳

参与深度学习项目研究。

1.
Affine Loop Invariant Generation via Matrix Algebra Yucheng Ji, Hongfei Fu, Bin Fang, Haibo Chen The 34th International Conference on Computer Aided Verification (CAV), 2022
2.
Formal modelling of list based dynamic memory allocators Bin Fang, Mihaela Sighireanu, Geguang Pu, Wen Su, Jean-Raymond Abrial, Mengfei Yang, Lei Qiao SCIENCE CHINA Information Sciences, 2018
3.
A refinement hierarchy for free list memory allocators Bin Fang, Mihaela Sighireanu Proceedings of ACM SIGPLAN International Symposium on Memory Management (ISMM), 2017
4.
Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators Bin Fang, Mihaela Sighireanu Proceedings of International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), 2016
5.
Formal Development of a Real-Time Operating System Memory Manager Wen Su, Jean-Raymond Abrial, Geguang Pu, Bin Fang 20th International Conference on Engineering of Complex Computer Systems (ICECCS), 2015
6.
Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution Ting Su, Siyuan Jiang, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Jianjun Zhao 8th International Conference on Software Security and Reliability (SERE), 2014
7.
Runtime Verification by Convergent Formula Progression Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wangwei Liu 21st Asia-Pacific Software Engineering Conference (APSEC), 2014

🏆

2014-2018 · France

🏆

2017 · Germany

🏆

2016 · Italy