Education
2014 - 2018
Joint Ph.D. (China-France)
Paris Cité University & East China Normal University · Computer Science
Research Focus: Formal Methods
2013 - 2014
Ph.D. Student
East China Normal University · Software Engineering Theory and Technology
2009 - 2013
Bachelor
East China Normal University · Software Engineering
Work Experience
2024 - Present
Researcher
Tech Company · Beijing
Responsible for machine learning algorithm R&D, leading multiple core projects.
2020 - 2024
Algorithm Engineer
Internet Company · Shanghai
Worked on recommendation system algorithm optimization, improving user click-through rate by 15%.
2019 - 2020
Intern
Research Institute · Shenzhen
Participated in deep learning research projects.
Publications
-
1.
Affine Loop Invariant Generation via Matrix Algebra The 34th International Conference on Computer Aided Verification (CAV), 2022
-
2.
Formal modelling of list based dynamic memory allocators SCIENCE CHINA Information Sciences, 2018
-
3.
A refinement hierarchy for free list memory allocators Proceedings of ACM SIGPLAN International Symposium on Memory Management (ISMM), 2017
-
4.
Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators Proceedings of International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), 2016
-
5.
Formal Development of a Real-Time Operating System Memory Manager 20th International Conference on Engineering of Complex Computer Systems (ICECCS), 2015
-
6.
Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution 8th International Conference on Software Security and Reliability (SERE), 2014
-
7.
Runtime Verification by Convergent Formula Progression 21st Asia-Pacific Software Engineering Conference (APSEC), 2014
Honors & Awards
China National Scholarship for International Doctorate
2014-2018 · France
Marktoberdorf Summer School Scholarship
2017 · Germany
MOVEP Summer School Scholarship
2016 · Italy