中国科学院研究员，CCF会士，中国工程院院士
中国航天科工集团二院研究员，CCF会士，中国工程院院士
浙江大学教授，CCF会士
南京大学教授，CCF会士
美国加州大学洛杉矶校区（UCLA）计算机系校长讲席教授
香港理工大学电子计算学系讲座教授
中科院计算所研究员，CCF名誉理事长，中国工程院院士
清华大学教授，CCF会士
北京大学教授
国防科技大学教授
武汉大学教授，CCF会士
360集团创始人兼CEO
太极计算机股份有限公司总裁
搜狗公司COO
华中科技大学教授
中国科学院软件研究所研究员
国家并行计算机工程技术研究中心副研究员
博士论文《度量空间索引与查询技术研究》展开了度量空间索引、查询、查询可用性以及应用系统的深入研究，从而丰富了度量空间领域的研究成果，并促进多媒体检索和数据挖掘等相关领域的进一步发展。
博士论文《高性能虚拟化及其适用性研究》重点研究了虚拟化及其适用性，在GPU虚拟化、网络设备虚拟化、移动设备虚拟化以及虚拟计算系统的高可用等方面做出了较为系统的贡献，其研究成果还在开源社区产生了较大的影响。
博士论文《混成系统有界模型检验优化技术研究》针对实时和混成系统可达性验证问题研究优化技术，在状态空间约减、组合系统遍历等方面取得突破，并研制出系统工具，推进了混成系统形式化验证技术的应用进程。
博士论文《面向精细视觉解析的深度结构化模型》提出了不同的结构化表示模型实现图像的语义理解，提出建立具有高层次结构化表达的一系列深度学习模型来捕捉图像内容和精细化语义信息的关联性，对计算机视觉的理论和实践的发展具有重要的推动作用。
返回首页
