????

  
首页-科学研究_学术预告

学术报告439:智能系统软硬件优化设计

发布日期:  2019/05/27  周时强   浏览次数: 部门: 未知   返回

报 告 人:陈仪香 教授

单位:华东师范大学计算机科学与软件工程学院

贝博体育报告时间:2019年05月30日(周四)13:30~15:00

贝博体育报告地点:宝山校区计算机大楼1001室

邀请人:缪淮扣教授

报告摘要:

贝博体育本报告介绍智能系统的无处不在性, 然后介绍智能系统的规范建模和软硬件优化设计,最后以交通标识牌自动识别和无人驾驶车自动停车系统,重点说明智能系统的开发还面临着许多痛点。

报告人简介: 

陈仪香,男,教授,华东师范大学软硬件协同设计技术与应用教育部工程研究中心主任,担任中国计算机学会嵌入式系统专业委员会副主任委员、中国系统科学学会模糊系统与模糊数学专业委会副主任委员、担任多个国际学术会议程序委员会主席。以软件形式化方法为基础,展开软硬件形式化建模理论与协同设计方法及应用研究,主要研究领域包括程序设计语言的形式化语义学、实时系统的形式化建模理论、软件可信度量与评估方法、软硬件协同设计技术。建立了程序设计语言稳定论域的Stone对偶理论和逻辑表示理论,设计了具有时空一致性的实时系统规范建模语言STeC,构造了嵌入式软件可信度量评估模型与方法,构建了模型驱动的软硬件协同设计体系与技术。承担了973、863、NSFC重大研究计划、国防科工局等多项重要研究项目。发表论文100余篇,出版国家自然科学基金研究专著1部《形式语义学的稳定论域理论》(科学出版社),国家科学出版基金专著《软件可信度量评估与增强》即将出版(科学出版社),编著《智能系统软硬件协同设计》教材。获得教育部自然科学奖一等奖、上海市教学奖二等奖。荣获首届江苏省优秀骨干青年教师、上海市曙光学者、华东师范大学首届优秀研究生导师等称号。

 


上一条: 学术报告440:MDESL的操作语义和代数语义连接的理论与实践

下一条:学术报告438:Building High-performance Cluster Frameworks: from Big Data Analytics to Deep Learning Syste