生物:我目前领导着中国科学院计算技术研究所的程序分析研究小组。我们的重点是开发程序分析技术和工具,以提高软件的可靠性和安全性。我们的一个显著成就是商业工具Wukong,它可以检测涉及复杂过程间依赖的深层软件错误。悟空已经成功识别了流行的开源应用程序中的许多错误和潜在漏洞,原始开发人员确认了200多个错误,分配了20多个CVE。我们的研究已在SOSP、CCS、USENIX SECURITY、FSE、ASE和CGO等顶级会议上发表。我们分别在2019年和2022年获得了ASE杰出论文奖和CCS最佳论文荣誉奖。