Yedi Zhang

Ph.D. Student (Supervisor: Fu Song)

ShanghaiTech University

Email: zhangyd1@@shanghaitech.edu.cn

Google Scholar / DBLP / CV

Research Topics

Formal Methods & Automated Verification
Safety & Security (of AI Systems)

Learning-based Systems
Multi-agent Systems

CCF Rec. Conference Deadlines

I am a final-year Ph.D. student of School of Information Science and Technology (SIST) at ShanghaiTech University, advised by Prof. Fu Song at System and Software Security Lab (S3L). My research is motivated by a simple goal: towards robust and verified AI Systems. More specifically, to develop theories and tools to aid the construction of certified AI systems, with rigorous and provable guarantees of safety and security. Such systems include but not limited to i) multi-agent systems and ii) learning-enabled systems.

Before joining SIST, I received my Bachelor's Degree in Beijing University of Posts and Telecommunications (BUPT).

News

2023/05 -- One conference paper is accepted by USENIX Security 2023.
2023/04 -- One conference paper is accepted by CAV 2023.
2022/10 -- I am awarded with 2022 National Scholarship for Doctoral Students!
2022/08 -- One journal paper is accepted by TOSEM 2022.
2022/07 -- One conference paper is accepted by ASE 2022.
2022/07 -- One conference paper is accepted by SAS 2022.
2022/03 -- I started my year-long visit at Singapore Management University, supervised by Prof. Jun Sun.
2021/04 -- One conference paper is accepted by CAV 2021.
2020/09 -- I started my Ph.D. program.
2019/10 -- I visited Dependable Systems and Software group at Universität des Saarlandes.

Publications (show all by year / show all by topic)

Awards

2023/05 -- Outstanding Doctoral Graduates of ShanghaiTech University
2022/10 -- National Scholarship for Doctoral Students
2021/12 -- Excellent Student at ShanghaiTech University
2020/12 -- Excellent Student at ShanghaiTech University
2019/12 -- CSC-IBM Excellent Chinese Student Scholarship
2019/12 -- Merit Student at ShanghaiTech University
2019/01 -- AAAI Travel Grant
2016/04 -- ICM Meritorious Winner

Teaching

Teaching Assistant -- Theory of Computation, Fall 2020
Teaching Assistant -- Theory of Computation, Spring 2019.
Teaching Assistant -- Introduction to Programming, Fall 2018.