詹博华

华为编程语言实验室技术专家，2014 年获普林斯顿大学数学博士学位，后在麻省理工学院和慕尼黑工业大学从事博士后研究。研究方向包括证明自动化、交互式定理证明器、嵌入式系统建模与验证，以及程序验证、操作系统、分布式系统和量子程序验证。