夏壁灿 (Bican Xia)

中文

Bican Xia  Professor

Department of Information Science
School of Mathematical Sciences
Peking University

Photo of Bican

Beijing 100871

P. R. China


Tel: (86)-10-62767219

Fax: (86)-10-62751801


Email:xbc at math dot pku dot edu dot cn

Research Interests: Computer Algebra, Automated Reasoning, Program Verification.

© 2013-12-20