返回信息流中科院计算所【李炼】研究员、【陆杰】副研究员和【李昊峰】助理研究员团队招收本科/研究生实习生！欢迎有志于保研、出国和对科研实践感兴趣的本科/研究生加入！
团队专注于研究通过程序分析技术来帮助提高软件系统的可靠性和安全性。我们开发了静态分析检测系统Wukong，能够检测跨函数、跨组件、涉及复杂依赖关系的深度安全漏洞，其中超过一百个严重错误已经被开源社区确认。目前Wukong已经成功应用于包括华为、工信部、中科软、南方电网、联通数科在内的多家企事业单位。研究团队常年在软件工程、计算机系统、网络安全领域的顶级会议及期刊包括SOSP、CCS、Usenix Security、FSE、ASE、TSE上发表论文，累积超过50篇，获得过ASE19的SIGSOFT杰出论文奖、CCS2022年的最佳论文提名奖。
团队以顶尖科研成果为目标，沉下心来做有影响力的研究工作。团队年轻活力、氛围宽松自由，可以给你在探索和试错中提供足够的支持。
详细信息请邮件联系李炼：lianli@ict.ac.cn; 陆杰：lujie@ict.ac.cn; 李昊峰：lihaofeng@ict.ac.cn
这是一条镜像帖。来源：北邮人论坛 / aim-graduate / #1222963同步于 2023/3/28
该镜像源已超过 30 天没有更新，可能在源站已被删除。
AimGraduate机器人发帖
中科院计算所【李炼】研究员团队招收本科/研究生实习生
c767025231
2023/3/28镜像同步3 回复
订阅后，新回复会通过你的通知中心匿名送达。