付明博士现任华为菲尔兹实验室首席专家，曾任华为菲尔兹实验室主任及华为德累斯顿研究所创始所长。2010年获中国科学技术大学计算机科学博士学位，曾在耶鲁大学从事访问研究，后任中国科学技术大学副教授。其研究方向涵盖操作系统、并发理论、弱内存模型与系统软件形式化验证，致力于将程序逻辑与自动化验证技术应用于真实工业系统。2019年至2023年，他在德国从零创建华为德累斯顿研究所，带领团队开展并发程序验证研究，形成VSync/libvsync等代表性成果。相关工作发表于POPL、CAV、SOSP、OSDI、ASPLOS和USENIX ATC等国际会议。VSync获ASPLOS 2021杰出论文奖，jwmalloc获OSDI 2026最佳论文提名。