关于我们

南京大学计算机学院/软件所PASCAL研究组，是一个专注于程序设计语言和程序分析技术研究的团队。在过去多年间，我们在程序分析领域取得了显著的研究成果，在顶级会议和期刊上发表多篇论文（包括TOPLAS、PLDI、OOPSLA、ECOOP、TOSEM、TSE、ICSE、FSE、ISSTA等），并开发了面向Java生态的通用程序分析平台Tai-e，被30余所高校学者、20余家企业研发部门、国内外200余所高校学生使用。

我们目前的主要研究方向包括：

• ● 软件程序分析：软件程序分析是PASCAL的传统优势领域。我们长期致力于提升基础程序分析技术的完备性、精度和速度，特别是在分析现代复杂软件框架（如微服务框架、数据库框架、安卓框架等）时，针对这些框架带来的多样化技术挑战，开展了深入研究并取得了显著成果。基于多年的技术积累，我们研发并开源了Tai-e程序分析平台。依托于Tai-e的核心能力，我们也在安全漏洞分析、程序缺陷检测、程序理解等应用领域进行研究探索，将基础程序分析技术落地到实际场景中，解决软件开发中的现实问题。

• ● 硬件程序分析：硬件程序分析是PASCAL近年来新开拓的研究方向。现代硬件开发广泛采用程序设计语言（如Verilog），这为程序分析技术在硬件领域的应用提供了可能。然而，与软件领域相比，硬件程序分析技术仍处于探索阶段。我们认为，程序分析在硬件领域蕴藏着巨大的潜力与价值，并正在深入挖掘这一领域的研究机遇。目前，我们已成功构建了面向Verilog的静态分析平台 (今年中旬发布)，并正在基于该平台开展一系列硬件程序分析应用的研究，例如硬件缺陷检测与安全漏洞分析。

我们诚挚邀请有志之士加入我们的团队，共同构建具有国际影响力的程序分析系统，推动软硬件程序分析技术的创新与发展。

实习生招募要求

实习收获

加入PASCAL研究组进行实习，您将获得：

1. 系统的科研训练和科研经历
2. 参与发表顶会论文
3. 成为Tai-e的开源贡献者
4. ...

申请流程

PASCAL科研实习采用网上报名的方式，申请者需要在线填写PASCAL提供的报名表(https://pascal-lab.net/apply.html)，包括以下内容：

• ● 基本信息：邮箱、姓名、学校。
• ● 自我陈述：请做一个300字左右的简短自我陈述。
• ● 选组理由：请简述你选择来PASCAL进行科研实习的原因。
• ● 科研目标：如果你能够进入PASCAL进行科研实习，你希望达成怎样的目标？
• ● 个人简历：请提供PDF格式的A4纸大小的一页简历（含照片）。

我们在收到各位的申请信息之后会及时邮件回复，请大家及时查看邮箱。

常见问题