江淮论坛（第341期）自动推理与程序验证-淮安大学

    星空电竞,星空电子是亚洲区最专业的娱乐平台,快速入款,快速提款。内含彩票游戏、真人棋牌,视讯棋牌,体育足球,电子游戏,红包,更有直播开奖,各种游戏优惠等你来体验!!!

    江淮论坛

    当前位置： 首页 > 江淮论坛 > 正文

    江淮论坛（第341期）自动推理与程序验证

    供稿： 发布时间：2021年07月11日 09:44 点击数：

    报告主题： 自动推理与程序验证

    主讲人：宋振明，西南交通大学教授

    时间：2021年7月11日15:00

    地点： 枚乘路校区11号楼403会议室

    邀请单位： 计算机与软件工程学院

    主讲人简介： 宋振明，博士，教授。先后于1982、1988年在河南大学分别获学士、硕士学位，1998年在西南交通大学获博士学位。长期从事智能信息处理理论研究与教学工作，共参加了5项国家自然科学基金项目的研究，先后在“科学通报”、“Information Science”、“Int. J. of Intelligent Systems”等国内外学术刊物及学术会议上发表研究论文近30篇，合作出版了二本研究生教材和一本本科生教材。现为中国运筹学会模糊信息与工程分会常务理事，中国计算机学会多值逻辑与模糊逻辑专业委员会委员。 先后培养硕士生12人。


    作者：编辑： 审核：
    星空电竞