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-今 华东师范大学 软件工程学院， 副教授