Your Name

Ph.D. · Researcher

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

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

Email GitHub Scholar
Your Name

教育背景

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

运行时验证 公式推进

荣誉奖项

🏆

China National Scholarship for International Doctorate

2014-2018 · France

🏆

Marktoberdorf Summer School Scholarship

2017 · Germany

🏆

MOVEP Summer School Scholarship

2016 · Italy