▲ 现场颁发聘书

曹嘉伦博士现任香港科技大学研究助理教授，研究领域包括AI4SE、人工智能测试、形式化验证等，主攻利用先进的人工智能技术实现软件开发、测试和程序验证的自动化。其学术成果丰硕，在ICSE、ESEC/FSE、CAV、ASE、ACL、AAAI、USENIX Security和TOSEM等国际顶级会议与期刊发表论文30余篇；兼任ICSE、FSE、ISSTA、ASE等多个顶级会议程序委员，并出任ESEC/FSE 2025与ASE 2024分会主席。凭借在软件工程领域的突出成果，荣获2025年ACM SIGSOFT杰出博士论文奖与2025年工程科学领域青年科学家奖。

双方将围绕AI4SE领域展开全方位深度合作：一是AI4SE实施落地战略咨询，推动研发效率倍增；二是人才培养，曹博士将为蜂巢互联内部技术团队提供AI4SE系列专项培训；三是AI4SE生态共建，以AI4SE技术加速中国工程软件行业提升和发展。

聘任仪式后，曹嘉伦博士还作了《软件工程自动化新范式：概念、进阶、可行性分析》专题讲座，围绕AI4SE技术演进路径、核心应用场景及工业落地可行性展开分享。公司多条产品线技术骨干现场聆听并参与技术交流。