文浩，2018届网络工程专业毕业生，目前在中国科学院成都计算所攻读博士学位，研究方向为形式化方法（Formal method），相关研究成果已在国内外期刊会议上发表，也曾受邀在NASAC/FMAC的相关Track上汇报团队近期研究成果。除了科研论文的产出，也多次深入参与科研项目，其中包括2项国家自然科学基金，1项CCF-华为创新计划，多项省重点项目。个人在读期间也曾多次获得各项奖学金及国科大三好学生等荣誉称号。
文浩，2018届网络工程专业毕业生，目前在中国科学院成都计算所攻读博士学位，研究方向为形式化方法（Formal method），相关研究成果已在国内外期刊会议上发表，也曾受邀在NASAC/FMAC的相关Track上汇报团队近期研究成果。除了科研论文的产出，也多次深入参与科研项目，其中包括2项国家自然科学基金，1项CCF-华为创新计划，多项省重点项目。个人在读期间也曾多次获得各项奖学金及国科大三好学生等荣誉称号。
