教育及工作经历: 男, 1964年生。 1985年和1988年分别获上海交通大来自学自动化专业本科学位和"模式识别与智360百科能系统"硕士学位,1989年作为优异生获国家奖学金被选派德国汉堡大学计算机系攻读博士学位,以独创性成果"Prior还切外积住itized Justification-Based 起置土Nonmonotonic Logics and its Applications"取得博士学数执段末系困九关吗位,并在德国发表专著。