-- "Analysis and verification of distributed stream processing programs", NSFC grant, 2019-2022, PI (Principle investigator).

-- "Shape properties and data constraints of dynamic data structures: Automated analysis and verification based on separation logic", NSFC grant, 2015-2018, PI (Principle investigator).

-- "Symbolic modles and implicit state model checking techniques", NSFC grant, 2013-2016, Participant (PI: Prof. Wenhui Zhang).

-- "Formal models over infinite alphabets: Logic and Automata", NSFC grant, 2012-2014, PI (Principle investigator).