|
|
Education
 | Ph.D. |
|
Computer Science, January 2001,
New Mexico State University.
Advisor: Dr. Gopal Gupta.
Thesis: Efficient Distributed and Tabled Logic Programming
Systems. |
| M.S. |
|
Computer Science, May 1999,
New Mexico State University.
Advisor: Dr. Gopal Gupta.
Thesis: Semantics-based Nemeth to Latex Back-translation. |
| M.S. |
|
Computer Science, June 1997, Peking University.
Advisor: Prof. Zongyan Qiu.
Thesis: SIMPLE, a LISP-like symbolic computation software and its
applications. |
| B.S. |
|
Computer and Information Science, June 1994, Zhejiang
Gongshang University. |
From Nov. 2000 to Aug. 2002, I worked as a Research
Associate (NSF Post-Doctoral Fellow) in Applied Logic Laboratory in the
CS Department, SUNY Stony Brook.
|
