个人资料
教育经历• 2015.09-2019.07 华东师范大学 博士(软件工程)
• 2013.09-2015.07 复旦大学 硕士(软件工程) • 2008.09-2012.07 华东师范大学 学士(软件工程)
工作经历• 2019.09-2022.05 华东师范大学 软件工程学院, 博士后,合作导师何积丰院士
• 2022.06-今 华东师范大学 软件工程学院, 副教授 个人简介本课题组约束求解与形式化分析方向仍有研究生名额,欢迎具有一定算法基础的同学申报 张越龄,博士,具有4年国外留学工作经历。主要研究方向为约束求解理论与技术研究、程序(协议)分析与验证、AI芯片编译器理论与技术研究,加入高可信软件研究团队。在CAV、ASE、ISSTA、SCP等国际高水平期刊或会议上发表文章16篇。 代表性成果包括:
欢迎博士后、博士、硕士以及华东师范大学的本科生加入我们的研究小组,如果你对Programming Language (PL)、约束求解、软件(协议)分析与验证、软件安全、可信人工智能、AI芯片编译等方向感兴趣,欢迎随时邮件联系和交流(附上你的简历和你的项目经历)。我们也欢迎暑期实习生。 社会兼职研究方向本课题组约束求解与形式化分析方向仍有研究生名额,欢迎具有一定数学基础的同学申报 约束求解理论方法研究及应用 软件(程序、协议、智能系统)可信安全分析与验证 AI芯片编译器理论与技术研究 欢迎博士后、博士、硕士以及华东师范大学的本科生加入我们的研究小组,如果你对Programming Language (PL)、约束求解、软件分析与验证、软件安全、可信人工智能、AI芯片编译等方向感兴趣,欢迎随时邮件联系和交流(附上你的简历和你的项目经历)。我们也欢迎暑期实习生。 所在高可信软件研究团队具有多名教授,研究领域包括需求工程、硬件验证、软件测试、深度学习及安全、AI芯片编译技术等。相关技术应用于多家公司企业,如字节跳动、腾讯、卡斯柯等。 本团队所提供的本科生毕业设计题目包括: 1、程序不变式分析与生成 2、SAT/SMT约束求解器 3、AI系统安全、公平、可信分析 4、AI芯片、FPGA、AI模型编译器研究 5、智能合约、协议分析测试与验证 6、UML语言可执行分析设计工具 7、自选 招生与培养本课题组约束求解与形式化分析方向仍有研究生名额,欢迎具有一定数学基础的同学申报 欢迎对约束求解,系统(程序、协议、AI分析),Programming Language感兴趣的同学申报 开授课程编译原理 智能计算系统 专业英语 系统软件安全 科研项目
3. 总线协议验证 学术成果1. Yueling Zhang, Geguang Pu*, Jun Sun. Accelerating All-SAT Computation with short Blocking Clauses. ASE 2020 CCF A. 2. Lingfeng Zhang, Yueling Zhang*, Min Zhang*. Efficient White-box Fairness Testing through Gradient Search. ISSTA 2021 CCF A. 3. Grigory Fedyukovich, Yueling Zhang, Aarti Gupta. Syntax-Guided Termination Analysis. CAV 2018 CCF A. 4. Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi. SAT-based Explicit LTLf Satisfiability Checking. AAAI 2019 CCF A. 5. Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Y. Rozier. SAT-based Explicit LTLf Satisfiability Checking. Artif. Intell. 2020 CCF A, SCI. 6. Xia Mao; Xin Li; Yanhong Huang; Jianqi Shi; Yueling Zhang. PLC Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems. IEEE Transactions on Industrial Informatics. SCI. 7. Yueling Zhang, Min Zhang*, Geguang Pu*. Optimizing Backbone Filtering. Sci. Comput. Program 2020 CCF B, SCI. 8. Yueling Zhang, Geguang Pu*, Min Zhang*, William Y. Generating Adversarial Examples for DNN using Pooling Layers. J. Intell. Fuzzy Syst 2019 SCI. 9. Yueling Zhang, Min Zhang*, Geguang Pu*, Fu Song, Jianwen Li. Towards Backbone Computing: A Greedy-Whitening based Approach. AI Commun. 2018 SCI. 10. Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi. Safety Model Checking with Complementary Approximations. ICCAD 2017 CCF B. 11. Yueling Zhang, Geguang Pu*, Min Zhang*. SMTBCF: Efficient Backbone Computing for SMT Formulas. ICFEM 2019 CCF C. 12. Yueling Zhang, Jianwen Li, Min Zhang*, Geguang Pu*, Fu Song. Optimizing Backbone Filtering. TASE 2017 CCF C. 13. Bangfeng Xia, Yueling Zhang*, Weiting Chen, Xiangfeng Wang, Jiangtao Wang*. EdgeAugment: Data Augmentation by Fusing and Filling Edge Maps. ICANN 2020 CCF C. 14. Chunguang Jiang, Yueling Zhang*, Jiangtao Wang*, Weiting Chen. Approximated Masked Global Context Network for Skin Lesion Segmentation. ICANN 2021 CCF C. 15. Shunkai Zhou, Yueling Zhang*, Jiangtao Wang*, Guitao Cao. Generating Adversarial Examples by Distributed Upsampling. ICONIP 2021 CCF C 16. Xia Mao, Yueling Zhang, Jianqi Shi, Yanhong Huang, Qin Li. A Refinement Development Approach for Enhancing the Safety of PLC Programs with Event-B. SCP 2021 SCI, CCF B
荣誉及奖励 |