江淮论坛（第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人。

作者：编辑：审核：

上一条：江淮论坛（第342期）逻辑中的真和假

下一条：江淮论坛（第340期）高校中层干部工作方法与能力提升

首页

淮大要闻

综合新闻

通知公告

学术研究

江淮论坛

媒体淮大

融媒淮大

淮大人物

首页

江淮论坛

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

---友情链接---

校区及地址