应明生清华大学计算机科学与技术系智能技术与系统国家重点实验室教授，清华大学量子软件研究中心主任。中国科学院软件研究所研究员、学术副所长。悉尼科技大学量子软件与信息中心杰出教授。曾获中国青年科技奖、自然科学一等奖、中国计算机学会王选奖一等奖。他的研究领域包括量子计算、程序设计语言的语义学以及人工智能中的逻辑。他为量子程序建立了包括部分正确性与完全正确性的Floyd-Hoare型逻辑，特别是证明了其（相对）完备性。他将高级量子控制结构引入量子语言中，以更加严格、完整和系统的形式推出了量子case结构、量子递归结构、二次量子化、量子程序叠加等一系列概念。他著有Foundations of Quantum Programming（2016）和Topology in Process Calculus： Approximate Correctness and Infinite Evolution of Concurrent Programs（2001）。此外，他目前还担任ACM Transactions on Quantum Computing的（联合）主编。冯元 悉尼科技大学量子软件与信息中心教授。曾任清华大学计算机系副研究员。他的研究兴趣包括量子系统的形式化验证、量子程序理论、量子信息与计算以及概率系统。已在国际重要期刊和主流会议上发表论文70余篇。曾获得澳大利亚研究理事会（ARC）未来研究基金（2010）。
鄂公网安备 42010302001612号 