• Automated Proofs of Combinatorial Identities • Mathematics Mechanization and Computer Algorithms
• B.Sc. Mathematics, Xidian University, China, 2003