I am currently a Master student at the Formal Verification Group. My research focuses on static program analysis where, in particular, I develop formal techniques for automating the procedure of abstract interpretation for analyzing C/C++ programs.
M.Sc. in Software Engineering, 2026
B.Sc. in Bioinformatics, 2023
Shanghai Jiao Tong University