董威，国防科技大学计算机学院教授、博士生导师。2002年在国防科技大学获博士学位，现从事软件分析与验证、软件可靠性、软件度量与评估等方向的研究工作，中国计算机学会形式化方法专委会委员。2007-2008年作为

黄华，国家杰出青年基金获得者，主要从事图像/视频处理方面的研究工作。1975年4月出生于湖北当阳。分别于1996年、2001年和2006年在西安交通大学信息与通信工程系获得工学学士、硕士和博士学位。北京理工大学计算

黄罡，博士，湖南株洲人，北京大学教授、博导，软件研究所副所长，系统软件研究室主任，中国青年科技奖、中国计算机学会青年科学家奖、国家优秀青年科学基金、教育部新世纪优秀人才、中创软件人才奖、霍英东青年

关涛，现为阿里云资深专家，大数据平台研发总监，全面负责自主研发阿里云分布式、高效能、低成本、完全托管的“EB级”大数据计算服务平台；2003年本科毕业于南开大学，2006硕士毕业于天津大学获计算机应用技术工