全国可信软件领域专家学者汇聚泰州学院
4月8日—9日,2017年全国软件可信基础研讨会在泰州学院召开。来自北京大学、复旦大学、上海交通大学、南京航空航天大学、华东师范大学等30所国内知名高校的学者齐聚凤城泰州,展开学术交流与探讨。
本次大会由泰州学院计算机科学与技术学院与教育部软硬件协同设计与应用工程中心(华东师范大学)联合主办,广西可信软件重点实验室(桂林电子科技大学)协办。中国计算机学会软件工程专委会、形式化专委会对本次研讨会给予了支持。
大会邀请了包括北京大学王捍贫教授和曹永知教授、复旦大学朱洪教授、华东师范大学陈仪香教授及团队、上海交通大学李国强副教授等与会,安排了近二十位专家和科研人员在会上做了报告。
研讨会后,“CCF走进高校”活动也在泰州学院举办了两场专业讲座。这是由中国计算机学会组织的由资深专家和企业家走进高校为学生演讲的系列公益活动,旨在帮助在校大学生提升专业能力,解答学业困惑,指导职业规划。
泰州学院近年来科研实力不断增强,软件形式化验证科研团队在国内已经有了一定的影响力。