该导师为东南大学计算机学院SATAS实验室负责人，2008年3月获东南大学计算机应用技术专业博士学位，2009年10月-2010年11月受国家留学基金委资助赴美国特拉华大学信息与计算机系开展访问研究。长期从事软件分析、测试、分析学与安全领域研究，主持或参与多项国家自然科学基金、国…