信息处理专家，长期从事信息处理、系统逻辑结构分析及相应的基础理论研究。1960年10月生于上海市。1982年毕业于复旦大学数学系，1989年获中国科技大学研究生院博士学位。2005年当选为中国科学院院士。