主持或参加科研项目
1.海南省科技厅,海南省自然科学基金高层次人才项目,620RC562,基于模型检测的多域软件定义网络控制平面分布式测试研究,2020-12至2023-12,7万元,在研,主持。
2.海南省科学技术协会,海南省科协青年科技英才学术创新计划项目,QCXM201910,面向多域软件定义网络的测试流量生成研究,2019-09至2022-12,8万元,在研,主持。
3.国家自然科学基金委员会,国家自然科学基金青年基金项目,61802092,基于形式化方法的多域软件定义网络测试研究,2019-01至2021-12,24万元,在研,主持。
4.海南省科技厅,海南省自然科学基金青年基金项目,618QN219,基于形式化方法的软件定义网络控制平面黑盒测试研究,2018-01至2019-12,5万元,已结题,主持。
5.赛尔网络有限公司,赛尔网络下一代互联网技术创新项目,NGII20170308,基于IPv6的工业物联网关键技术研究,2018-03至2019-03,5万元,已结题,主持。