当前位置:首页 > 新闻动态 > 详情

CCF(中国计算机学会)走进东软即将开启软件工程专场活动

2019-04-10

软件已经成为现代社会的必要组成部分并与现实事物深度融合,在其向互联网化、群智化、服务化和智能化等方向演进的趋势下,软件系统一方面要更好地满足业务的功能和扩展性要求,另一方面需要更系统地响应测试验证、评估保障、安全防护等方面的要求和挑战,以构建更具健壮性与安全性的系统。

本次开放日邀请了中国计算机学会软件工程专委会的多位一线骨干学者,将与广大工程技术人员分享软件系统测试保障相关最新理论与技术的发展动态和最新实践,干货满满!

活动流程

嘉宾介绍


金芝 教授
北京大学教授,博士生导师

1993年国防科技大学计算机系博士毕业获博士学位。从事知识工程、基于知识的软件工程和软件需求工程的研究。国家杰出青年基金获得者,973项目首席科学家。现任北京大学高可信软件技术教育部重点实验室常务副主任,兼任国务院学位委员会软件工程学科评议组成员,中国计算机学会CCF会士与常务理事,中国计算机学会软件工程专业委员会主任,《软件学报》执行主编,《计算机学报》副主编,以及其它多个国内外期刊的编委。主要研究兴趣包括:软件需求工程、知识工程、和基于知识的软件工程等。


玄跻峰 教授
武汉大学计算机学院博士生导师
智能化软件与服务研究所副所长

入选首批中国科协青年人才托举工程,入选湖北省楚天学者计划;获得中国计算机学会优秀博士论文奖(CCF优博)。主要研究领域为软件工程,包括软件测试调试、软件数据分析、软件系统优化等方向。于大连理工大学获得学士和博士学位,后加入法国国立计算机研究院(INRIA)工作任博士后研究员,2015年加入武汉大学工作。在TSE、TKDE、ICSE、FSE等国际期刊会议发表论文50余篇。担任TSE、TOSEM、TKDE、TEVC等国际期刊和会议的审稿人。



陈振宇 教授
南京大学软件学院博士生导师

主要从事智能软件工程的研究。慕测平台(mooctest.net)创始人、IEEE国际软件测试大赛发起人。担任IEEE Transactions on Reliability 期刊Associate Editor,JSS、SPE和SQJ期刊Guest Editor,QRS 2016、TSA 2016、QSIC 2013、AST 2013等学术会议的程序委员会共同主席。主持发明专利转让项目2项、发明专利许可项目1项、海关总署金关工程二期项目1项和国家自然科学基金7项,参与973计划、国家自然科学基金重大研究计划、重大国际合作项目若干项。在TOSEM、TSE、ICSE、FSE、ISSTA、ICST等会议和期刊发表论文100多篇,申请发明专利40余项(已授权22项),部分专利成果已经在百度、阿里、华为等知名软件公司转化,研究成果获2012年度江苏省科学技术奖一等奖、2015年湖北省科技进步奖一等奖、2017年CCF NASAC-东软青年软件创新奖和2018年国家级教学成果奖二等奖。


 

郝丹 副教授
北京大学信息科学技术学院长聘副教授、博士生导师

2016年度“长江学者奖励计划”青年学者,主要从事软件测试等方面的研究,累计在顶级学术会议期刊上发表代表性论文近30篇,研究成果投入到航天、电力、税务、搜索等软件系统的搭建过程。郝丹博士先后主持和承担了多项国家级科研项目,包括国家自然科学基金(优秀青年科学家项目)、国家自然科学基金(面上项目)。担任了国际会议SPLC 2018的General Co-Chair等,参与ISSTA 2019、ASE 2019、ICST 2019、SCAM 2017等组织委员会,以及国际会议ICSE 2018\2019\2020、ASE 2018\2019等程序委员会委员。


 

钟浩 副教授
上海交通大学博士生导师

曾担任ICSE、OOPSLA、ASE等知名会议的评审委员。迄今为止,已经发表论文五十余篇论文,被谷歌学术应用超过1100多次。其中七篇以第一作者在中国计算机协会评级为A类的期刊和会议上。主要研究方向为软件工程,主要集中在软件缺陷检测有关的研究。在以往工作中开发的DocRef,Doc2Spec等工具曾在广泛使用的软件项目里检测出上千条未知的软件缺陷,相关论文发表在OOPSLA和ASE等软件领域顶尖的国际会议。在该研究方向曾获得APSEC最佳论文奖、ASE最佳论文奖和ACM SIGSOFT杰出论文奖。主持或作为课题负责人承担了由自然科学基金、上海市科委、科技部支持的多项基金。


 

陈雨亭 副教授
上海交通大学计算机系博士生导师
中国计算机学会系统软件专委会委员

主要研究方向是软件分析与测试、形式化方法。近年来研究将模糊测试技术应用于高复杂软件系统的测试用例的自动生成和系统分析中。发表高质量学术论文60余篇。获得2018 年度CCF NASAC-东软青年软件创新奖。


 

蔡彦
中科院软件所研究员

2014年于香港城市大学获得博士学位。主要研究大规模并发程序的测试。发表 CCF A 类长文近20篇。2017年入选中国科协“青年人才托举工程”以及中国计算机学会“青年人才托举计划”。2018年获“CCF NASAC-东软 青年软件创新奖”。担任ICST Publicity Co-Chair (2019), COMPSAC/SETA Program Co-Chair (2018, 2019), ASE 2018 PC member,是软件工程著名期刊 JSS 的编委成员、FCS青年编委。获中国科学院软件研究所2018年“优秀导师”奖、FCS“优秀青年AE”奖。
 



高庆
北京大学软件工程国家工程研究中心助理研究员

2016年获得北京大学计算机软件与理论专业博士学位。在程序静态分析方面有多年的研究,提出了基于模式的软件缺陷修复方法,将现有缺陷修复技术的精度从30%提高至80%-100%。相关论文发表于ICSE、ASE等软件工程顶级会议上,申请专利11项并已授权2项。参与研发的程序缺陷静态检测工具“库博(CoBOT)”,是我国首个通过CWE认证的工具,并在100余家单位得到良好的应用。


 

殷坤
东软集团产品总监、高级讲师

目前主要负责东软集团自动化测试产品的设计研发及推广应用。带领团队协助公司大量重点研发项目实施自动化测试,并将自动化测试解决方案成功复制到金融、电信、企业、政府等国内外众多行业客户。同时也是TiD中国质量竞争力大会、CSTQB国际软件测试高峰论坛、DevOps国际峰会、QCon全球软件开发大会、中国软件技术大会、Top100软件案例研究峰会等国内顶级技术会议嘉宾讲师。



武旭春
东软集团技术发展部资深Specialist,CNAS实验室负责人

公司技术讲师,目前主要负责软件性能和应用安全评估、系统优化与调整、公司级研发项目验收、第三方测试、国家认可实验室管理等工作。带领团队并多次在国家测试能力验证活动中取得满分成绩,多次圆满完成国家重大项目的性能、安全上线保障工作。


活动时间
2019年4月12日周五8:40-16:35
东软沈阳园区·会议中心·大报告厅


延伸阅读

东软平台云是东软集团云服务平台。东软平台云通过移动化、社交化、平台化、免维护、免部署、按需使用的云服务方式,创造性地把信息、任务、智慧、决策等工作场景精准、即时、无缝、在线地整合在一起,实现在时间与空间上的深度融合,提供无与伦比的知识工作自动化平台,高效应对数字化时代瞬息万变的市场需求,大幅提高客户在数字化时代的生产效率。东软平台云现有顷刻应用表单制作工具、SNAP企业社交化协作平台OhwYaa企业知识社区DataViz可视化数据分析软件、图表秀在线图表制作工具等云服务产品。