人工智能与逻辑、人机物融合系统软件

1998获四川大学博士学位，1999年进入博士后流动站工作，获中国博士后科学基金资助。主要研究方向：人工智能与逻辑、人机物系统软件等。1999年破格评聘为原西南师范大学教授，现为西南大学逻辑学专业人工智能方向博士生导师。教育部高等学校骨干教师项目资助者，首批重庆市学术和技术带头人后备人选，首批重庆市高等学校优秀中青年骨干教师，西南大学逻辑与智能研究中心副主任。独立撰写教材2部, 教辅2本, 专著1部。

教学情况

本科:离散数学,线性代数,高等数学,概率统计等

硕士生:数理逻辑等

博士生:人工智能逻辑等                                                                                                                                                                

科研情况

已发表研究论文100多篇，主持、主研省部级以上项目20余项.

获奖情况

重庆市自然科学奖三等奖1项

重庆市科学技术奖三等奖1项

西南大学首届名师奖

西南大学唐立新教学名师奖

重庆市教学成果二等奖1项

重庆市线上一流本科课程1门

“十二五”普通高等教育本科国家级规划教材1门

备注