王轲，威尼斯8025入口教授、博士生导师。2025年入选第二十一批国家级引才计划领军人才项目，2024年获批国家自然科学基金优秀青年科学基金项目（海外）。自2024年初起在美国斯坦福大学计算机系担任访问教授。曾供职于西门子美国与中国研究院、微软研究院Redmond、Visa研究院及Meta（原脸书公司），担任Research Scientist, Director of Research等职务。
王轲教授的研究方向涵盖编程语言、形式化方法与人工智能，并在多个领域取得系统性成果：程序分析与软件可靠性技术（PLDI 2018、OOPSLA 2025、PLDI 2026）；AI驱动的程序语义表示与求解方法（PLDI 2020、OOPSLA 2020、PLDI 2025）；以及利用形式化方法解释与加固人工智能模型（NeurIPS 2022、PLDI 2023、OOPSLA 2023）。相关研究成果曾获编程语言顶级会议OOPSLA 2020杰出论文奖，并多次在机器学习旗舰会议及其研讨会（NeurIPS 2022、ICML 2025 PRAL、NeurIPS 2025 DL4Code、ICLR 2026 VerifAI-2）上获得口头报告（Oral）席位。王轲教授硕士毕业于帝国理工学院，博士毕业于加州大学戴维斯分校，攻读博士期间多次获得计算机系最佳博士生荣誉提名。他在微软研究院Redmond兼职期间，将其主导的程序修复技术整合进在线教育平台edX的微软编程课程中，惠及数以万计的编程学习者，并获得微软官方报道。（https://learn.microsoft.com/en-us/archive/blogs/machinelearning/ai-for-education-individualized-code-feedback-for-thousands-of-students/）。
如需进一步了解王轲教授的科研背景，可参阅其Google Scholar页面：https://scholar.google.com/citations?user=KIe98hIAAAAJ&hl=en。
