I am an undergraduate student at Xi'an Jiaotong University's NetVerify Lab, where I conduct research under the guidance of Prof. Peng Zhang.

I previously developed a project on access control intents mining. Currently, my research is focused on accelerating model counting within SMT solvers.