计算机与软件工程结合机器学习方向

01.项目简介

此实习项目专门为计划申请计算机科学、软件工程等专业的学生所设计。学生将跟随中科院导师一同工作，学习形式化方法，使用机器学习的关联算法学习推导协议不变式，从而验证验证协议正确性。实习结束后， 导师会根据学生表现出具推荐信。

02.项目内容

本项目名称是基于关联算法的协议验证。

1）掌握协议的形式验证：包括协议形式化描述，可达集，不变式的概 念，以及利用不变式描述协议的重要性质。

2）利用协议验证工具CMurphi生成可达集，将可达集合转化为数据表， 以供数据分析。

3）熟练机器学习中的关联算法中的一种：Apriori。

4）基于Apriori算法对可达集数据表进行分析，提取，并筛选出正确的不变式。

5）利用不变式对若干协议进行形式化验证，并完成协议的验证报告。

通过以上学习，使学生能够：

· 了解并掌握形式化方法基本思想：利用严格的数学方法，并利用计算 机程序辅助验证，理解机器学习中关联技术，理解平凡模式与关联规则的基本思想，以及熟悉Apriori算法实现。

·尝试将机器学习的关联技术与协议的形式验证结合起来。

03.师资背景

任职教师现任知名研究所副研究员。毕业于上海交通大学，获计算机软 件理论专业博士学位。

主要研究方向包括形式化方法，协议验证与分析， 机器学习。

04.招生要求

招生对象：大二以上优秀本科生及部分优秀高中生

关联专业：计划申请计算机科学、软件工 程等相关专业。

为了让学生可以更好的完成科研项目，项目组会以笔试和面试的形式对学生进行筛选。

 

05.报名方式

1.直接致电百利天下总部010-5795-2000即可报名

2.向百利天下行回复“项目名称+姓名+电话+意向国家+意向专业+年级”即可报名成功

3.在百利天下行微信界面，点击菜单栏的【报名入口】填写信息也可报名