徐扬教授硕士生导师博士生导师西南交通大学计算机与人工智能学院搜索热度
报考该导师所属教研室：系统可信性自动验证国家地方联合工程实验室籍贯：河南省/新乡市/获嘉县
最后毕业学校：西南交通大学毕业专业：交通运输管理

教师寄语：
办公电话0086-28-876007
电子邮箱xuyang@home.swjtu.edu.cn
个人主页http://faculty.swjtu.edu.cn/xuyang
通信地址四川省成都市西南交通大学数学学院

教师信息导航基本信息
教学情况
研究领域
研究成果
荣誉奖励
科研团队
招生信息
学生名单
♣教师简介徐扬，博士，1956年9月生于河南,1991年起任教授，1997年起任博士生导师，全国先进工作者，国家有突出贡献的中青年专家，全国教育系统劳动模范，“人民教师奖章”获得者,四川省学术和技术带头人。

主要研究领域：逻辑代数、代数逻辑、不确定性推理和自动推理。先后承担科技项目30余项（其中主持国家自然科学基金项目11项，国际科技合作项目3项，国家部委项目5项）。先后在国内外杂志和学术会议上独立或合作发表学术论文900余篇；在国（境）内外合作出版著作9部（其中德国Springer出版1部，法国ATLANTISPRESS/新加坡WorldScientific出版1部，中国科学出版社出版1部，中国台湾再版1部）。研究成果被中国大陆和中国台湾、美国、日本、韩国、意大利、丹麦、波兰、捷克、比利时、芬兰、英国、伊朗、土耳其等20多个国家和地区的千余****大量引用或跟踪研究。先后应邀到国（境）内外多所大学、研究机构讲学或合作研究，并被聘请为客座教授。先后在国内外多个学术团体中任职。

先后培养博士后11人（已出站8人，转其他国家2人），博士生66人（毕业58人），硕士生46人（毕业（含硕博连读）44人）。

先后获得省部级及以上各种奖励20次
♣教师寄语
♣研究领域主要研究领域：演绎逻辑，自动推理，定理机器证明。
♣近年承担的主要科研项目
♣招生专业 招生类型学院专业代码专业名称专业类型专业方向
博士数学070100数学学术型02.计算数学（逻辑演绎、定理机器证明）
博士计算机081200计算机科学与技术学术型15.深度学习与图像智能分析
博士计算机081200计算机科学与技术学术型16.智能信息处理
硕士数学070100数学学术型02.计算数学
说明：硕士招生专业是由导师本人填写的，可能有部分老师没有设置，但不代表不招收硕士。

♣招生要求
♣教学经历 先后讲授过本科生的《高等数学》，硕士研究生的《模糊数学》，博士研究生的《范畴论》、《逻辑与推理》、《自动推理》、《可靠性数学》等课程。

♣教学成果

♣科研团队 自动推理学术研究团队人员：
徐扬，宋振明，陈树伟，李志辉，何星星，钟小梅，徐鹏，王恪铭，吴贯锋，曹锋，刘清华，付慧敏，刘沛瑶


♣论文成果数据加载中，请稍后...
♣专利成果数据加载中，请稍后...
♣出版专著数据加载中，请稍后...
♣荣誉与奖励数据加载中，请稍后...
♣软件著作权数据加载中，请稍后...
♣标准规范编制数据加载中，请稍后...
♣学术交流情况数据加载中，请稍后...
♣其他成果数据加载中，请稍后...
♣学生名单数据加载中，请稍后...