男，1964年生。1985年和1988年分别获上海交通大学自动化专业本科学位和“模式识别与智能系统”硕士学位，1989年作为优异生获国家奖学金被选派德国汉堡大学计算机系攻读博士学位，以独创性成果“Prioritized Justification-Based Nonmonotonic Logics and its Applications”取得博士学位，并在德国发表专著。1994年回国在上海交通大学图象处理与模式识别研究所工作，1997年被破格评聘为教授，1998年被评聘为博士生导师，自1998年起担任主管科研和研究生培养的所领导。先后入选教育部“跨世纪优秀人才计划”“资助优秀教师计划”“骨干教师计划”和上海市“曙光计划”“曙光跟踪计划”。