|
生于1963年，男，教授，工学博士，博士生导师。1982年毕业于陕西科技大学（前西北轻工业学院）自动化专业，毕业后留校任教，1989年起任自动化系（现电气与信息工程学院）总支副书记。1992年前往日本攻读工学硕士和博士学位，1997年获得工学博士，毕业后执教于日本爱知县立大学。1997年4月至1998年3月任日本开放式系统研究所研究员，1998年4月任爱知县立大学讲师，1999年4月任副教授，2002年从日本文部省（相当于我国的教育部）获得硕士指导资格。2004年从日本文部省获得博士指导资格。2004年受聘为陕西科技大学客座教授。2006年前往美国芝加哥大学做高级访问学者一年。2011年获得日本爱知县立大学信息科学与技术学院终身教授。并担任IEEE资深会员，国际自动推理学会会员，日本信息处理学会会员、东海地区分会理事，日本文部省科学研究振兴基金会（相当于我国的国家自然科学基金）委员，日本人工智能研究会委员。 |
