Yueling Zhang

个人简介
张越龄,博士,具有4年国外留学工作经历。主要研究方向为约束求解理论与技术研究、程序分析与验证、AI芯片编译器理论与技术研究,加入高可信软件研究团队。在CAV、ASE、ISSTA、SCP等国际高水平期刊或会议上发表文章16篇。
代表性成果包括:
-
Accelerating All-SAT Computation with Short Blocking Clauses,ASE,CCF-A
-
Efficient white-box fairness testing through gradient search,ISSTA,CCF-A
-
Syntax-Guided Termination Analysis,CAV,CCF-A
-
Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems, IEEE Transactions on Industrial Informatics, SCI一区
-
Optimizing backbone filtering, SCP, CCF-B
欢迎博士后、博士、硕士以及华东师范大学的本科生加入我们的研究小组,如果你对Programming Language (PL)、约束求解、软件分析与验证、软件安全、可信人工智能、AI芯片编译等方向感兴趣,欢迎随时邮件联系和交流(附上你的简历和你的项目经历)。我们也欢迎暑期实习生。
教育经历
• 2015.09-2019.07 华东师范大学 博士(软件工程)
- 2017-2018 访问普林斯顿大学
- 2018-2019 访问伊利诺伊大学香槟分校
• 2013.09-2015.07 复旦大学 硕士(软件工程)
• 2008.09-2012.07 华东师范大学 学士(软件工程)
工作经历
• 2019.09-2022.05 华东师范大学 软件工程学院, 博士后,合作导师何积丰院士
- 2020 - 2022 新加坡管理大学 计算与信息系统学院,合作交流,Research Scientist,合作导师孙军教授
• 2022.06-今 华东师范大学 软件工程学院, 副教授