同机构人员：

• 王铁磊
  王铁磊，盘古团队首席科学家。北京大学博士，主要研究领域为程序自动化分析和软件安全。2011年北京大学优秀博士论文、中国计算机学会优秀博士论文获奖者。在IEEE Security & Privacy、U......