Smart Software Engineering Lab at East China Normal University

Yueling Zhang

FacultyAssociate Professor

Home PageEmail

个人简介

张越龄,博士,具有4年国外留学工作经历。主要研究方向为约束求解理论与技术研究、程序分析与验证、AI芯片编译器理论与技术研究,加入高可信软件研究团队。在CAV、ASE、ISSTA、SCP等国际高水平期刊或会议上发表文章16篇。

代表性成果包括:

  1. Accelerating All-SAT Computation with Short Blocking Clauses,ASE,CCF-A

  2. Efficient white-box fairness testing through gradient search,ISSTA,CCF-A

  3. Syntax-Guided Termination Analysis,CAV,CCF-A

  4. Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems, IEEE Transactions on Industrial Informatics, SCI一区

  5. Optimizing backbone filtering, SCP, CCF-B

欢迎博士后、博士、硕士以及华东师范大学的本科生加入我们的研究小组,如果你对Programming Language (PL)、约束求解、软件分析与验证、软件安全、可信人工智能、AI芯片编译等方向感兴趣,欢迎随时邮件联系和交流(附上你的简历和你的项目经历)。我们也欢迎暑期实习生。

教育经历

• 2015.09-2019.07 华东师范大学 博士(软件工程)

  1. 2017-2018 访问普林斯顿大学
  2. 2018-2019 访问伊利诺伊大学香槟分校

• 2013.09-2015.07 复旦大学 硕士(软件工程)

• 2008.09-2012.07 华东师范大学 学士(软件工程)

工作经历

• 2019.09-2022.05 华东师范大学 软件工程学院, 博士后,合作导师何积丰院士

  1. ​ 2020 - 2022 新加坡管理大学 计算与信息系统学院,合作交流,Research Scientist,合作导师孙军教授

• 2022.06-今 华东师范大学 软件工程学院, 副教授

Yueling Zhang's papers