She engaged in basic mathematics with closely related computer, that be shown teaching and research work in mathematical logic, numerical analysis. Since 1994, her work is mainly engaged in the research and design of computer algorithms, especially research related to NP-hard problem solving algorithm. 1996 has been involved in the issue of the high efficiency algorithm Solar's discussion for solving the SAT. The algorithm was later won the gold award in the1996 international SAT algorithm competition. 2014 at the 17th International SAT algorithm competition, won silver award (second place) of the random questions set, and won bronze award (third place) of structured questions set.