易秋萍,女,副教授,博士生导师。研究方向包括:系统软件安全、软件漏洞挖掘与利用、基于大数据等人工智能AI技术的软件安全分析、信息系统(包括云、智能终端、硬件、网络设备、web、AI等)安全分析等。当前感兴趣的研究方向包括:基于AI技术与程序分析技术的有效结合,构建大规模程序分析验证平台;C++11并行程序分析验证方法及工具平台研发。易秋萍博士于2016年在中科院软件研究所获得博士学位,随后到美国Texas A&M大学和Texas State大学做博士后。2020年10月,通过北京邮电大学“优秀人才计划”引进,任特聘副研究员、博士生导师。当前主持国家自然科学基金项目1项。在多个CCF A类国际顶级期刊/会议(ESEC/FSE、TSE、USENIX Security、ICSE、TOSEM)上发表多篇论文。曾担任CCF A类国际顶级会议(PLDI, CGO-PPoPP, ICSE, ISSTA, ICSE)的程序委员会委员或审稿人。
[1]主要研究方向为软件工程及形式化分析方法。主要关注设计有效方法改进系统可靠性及安全性,包括设计及实现支持程序的调试分析及验证的有效工具。 具体研究内容包括:系统软件安全、程序分析测试、软件错误定位与修复、并行程序分析验证。当前感兴趣的研究方向包括:基于AI技术与程序分析技术的有效结合,构建大规模程序分析验证平台;C++11并行程序分析验证方法及工具平台研发。