： 2009-09至2015-07，清华大学，计算机科学与技术，博士 2007-09至2009-07，北京交通大学，信息网络与安全，硕士 2003-09至2007-09，山东科技大学，工程力学，学士 工作经历： 2019-06至现在，海南大学，计算机与网络空间安全学院，副教授 2017-09至2019-05，海南大学，信息科学技术学院，讲师 2015-08至2017-08，清华大学，网络科学与网络空间研究院，博士后 研究方向: 新型网络协议的形式化验证与测试方法 科研项目: 1.海南省科学技术协会，海南省科协青年科技英才学术创新计划项目，QCXM201910，面向多域软件定义网络的测试流量生成研究，2019-09至2022-12，8万元，在研，主持 2.国家自然科学基金委员会，国家自然科学基金青年基金项目，61802092，基于形式化方法的多域软件定义网络测试研究，2019-01至2021-12，24万元，在研，主持 3.海南省科技厅，海南省自然科学基金青年基金项目，618QN219，基于形式化方法的软件定义网络控制平面黑盒测试研究，2018-01至2019-12，5万元，已结题，主持 4.赛尔网络有限公司，赛尔网络下一代互联网技术创新项目，NGII20170308，基于IPv6的工业物联网关键技术研究，2018-03至2019-03，5万元，已结题，主持 5.科技部，国家863计划课题，2015AA016105，软件定义网络（SDN）验证与示范，2015-03至2018-03，国拨665万元，已结题，参加 6.国家自然科学基金委员会，国家自然科学基金青年基金项目，61202357，面向新一代互联网协议的基于模型检测的协议安全性测试研究，2013-01至2015-12，24万元，已结题，参加 6.教育部，教育部博士点新教师基金项目，200800031063，基于TTCN-3的真实源地址验证协议测试研究，2009-01至2011-12，3.6万元，已结题，参加。 7.科技部，国家科技支撑计划课题，2008BAH37B04，新一代可信任互联网安全和网络服务，2008-01至2011-12，已结题，参加 学术奖励： 姚姜源(6/6);基于形式化方法的互联网协议测试关键技术及其应用,中国电子学会,科学技术奖（技术发明）,一等奖,2016(尹霞;王之梁;施新刚;杨家海;吴建平;姚姜源)