He received his B.S., M.S. and Ph.D. degress from Nanjing University in 1982, 1985 and 1988 respectively. His research interests, include logic in computer science, lambda calculus and type theory.