CCF@U484:陈仪香、李国强走进泰州学院

阅读量:197
2017-03-20

报告地点:泰州学院图书馆报告厅

报告时间:2017年4月9日9:00

报告主题智能系统

报 告 人:陈仪香 教授

报告摘要:从满足国家和社会的互联网+的需求,结合中国2025制造,

介绍智能系统的基本特征,以及需要解决的基本科学问题和关键

技术。最后介绍计算机科学与软件工程的未来技术人才特征和需求。

报告人简介:陈仪香,理学博士,华东师范大学计算机学科教授、博士生导师。现任上海市高可信计算重点实验室副主任、教育部软硬件协同设计与应用工程中心主任、上海浦东物联网协会副会长、中国计算学会理论计算机专业委员会委员、中国计算机学会多值逻辑与模糊逻辑专业委员会副主任委员、中国计算机学会软件工程专业委员会委员、《Frontiers of Computer Science in China》杂志的理论计算科学领域编委、3个国际系列学术会议(ISDT‚FICS‚QL&QS)合作创始者。1995年获首届江苏省普通高校中青年学术骨干称号‚ 1999年获上海市曙光学者称号。

报告主题:An Algorithmic Approach for Formal Verification

人:李国强 博士

报告摘要:Formal verification is the logical process of checking

whether a design satisfies some properties, which is proven to be

useful in the development of software and hardware. Model

checking gives a fully automatic verification approach, which is so-called algorithmic formal verification. This talk gives a start-up introduction of model checking, beginning with two important properties, safety and liveness, then introducing Kripke model and temporal logic, following by basic algorithms, efficient data structures and popular methodologies, and ending with future directions.

报告人简介:李国强博士目前是上海交通大学软件学院副教授和日本九州大学客座副教授。他于2001年在太原理工大学获得工学学士学位、2005年在上海交通大学获得工学硕士学位、2008年在日本北陆先端科学大学院大学获得工学博士学位。于2008年4月至2009年3月在日本名古屋大学信息科学研究科担任博士后研究员,2009年4月至2013年12月在上海交通大学软件学院担任讲师,2009年12月至2010年12月在国家自然科学基金委兼聘,2015年7月至2016年7月在英国牛津大学计算机科学系做访问学者。研究兴趣包括形式化验证、程序语言理论、计算机理论科学和可计算学习理论。目前主持国家自然科学基金三项、作为主要参与人参与参与多项。已经在国内外知名期刊和国际主流会议发表论文50 余篇,包括TDSC、TECS、SPE、FGCS、Science China Information Sciences 等期刊和FORMATS、ATVA 等国际会议。




<<< 下一篇 无