CCF@U1196：CCF系统软件专委走进华侨大学

CCF走进高校第1196场

敬请关注

由中国计算机学会（CCF）主办，CCF系统软件专委、华侨大学承办的CCF走进高校活动，将于2024年12月3日在华侨大学召开，敬请关注。

活动时间：2024年12月3日（星期二）9:30-11:30

活动地点：华侨大学计算机学院

报告题目：安全攸关软件的智能开发方法与支撑环境

报告简介：航空、航天等领域的安全攸关软件普遍采用模型驱动开发范式，以达成软件问题发现阶段左移和软件质量保障的目标，是安全攸关软件开发的最佳工程实践。大语言模型技术的快速发展为软件工程带来了变革的契机。本报告首先总结传统模型驱动开发范式中存在的挑战问题，讨论目前大模型在软件工程发挥的辅助作用及其潜在能力；然后提出“模型驱动+ 大模型增强”智能化软件开发新模式，介绍我们在领域语义驱动的智能协同软件建模、智能代码生成、智能增强的形式验证、测试用例智能生成等方面的技术探索，以及相关工具环境的研制情况；最后，探讨未来需应对的挑战问题和可能的创新研究方向。

报告人简介：

胡春明，北京航空航天大学教授，软件学院院长，复杂关键软件环境全国重点实验室副主任，大数据科学与脑机智能北京市高精尖创新中心副主任。担任中国计算机学会（CCF）系统软件专委会副主任，标准工委技术委员会主任。主要研究方向为计算机软件与理论、分布式系统、安全攸关的软件开发方法、数据中心资源管理与调度等。主持国家级项目（及课题）6项，主持北京市重点项目1项。网络资源组织管理与调度技术研究获国家技术发明二等奖1项（第2完成人），大规模数据中心在离线负载混合调度技术研究获中国电子学会科技进步特等奖1项（第3完成人），行为大数据融合处理技术研究获中国电子学会技术发明一等奖1项（第3完成人）。

报告题目：可搜索加密技术研究与挑战

报告简介：在云计算和大数据时代，海量的数据存储在云服务器端，在给用户提供了存储便利的同时，也带来了极大的安全隐患，存在数据隐私泄露的风险。对数据加密后进行存储是一种基础的解决方案，然而，数据一旦加密，很难对密文数据进行操作，无法对加密数据进行检索。可搜索加密技术有效的解决了该问题。本次报告首先简要介绍可搜索加密技术的概念及分类，介绍相关研究进展。同时，围绕我们在该领域的一些研究工作进行相关方案的介绍，最后对未来工作提出一点思考。

报告人简介：

郭成，博士，教授，博士生导师，台湾清华大学博士后研究员。现任大连理工大学软件学院副院长，主要研究方向为大数据安全、云存储安全及隐私计算。作为项目负责人承担国家自然科学基金面上项目、青年项目、奇虎360隐私计算项目10余项。在IEEE TDSC, IEEE TIFS, IEEE TSC, IEEE TCC, IEEE TII等国际期刊发表学术论文80余篇。现为IEEE会员、中国计算机学会会员、密码学学会会员，国际期刊FGCS编委，山东省云计算与智能应用协同创新中心副主任，辽宁省区块链和分布式记账技术标准化技术委员会副秘书长，辽宁省网络安全保障工作联盟网络安全专家。

CCF微信公众号，欢迎关注