王铁磊

（盘古团队首席科学家）

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