Yedi Zhang

Ph.D. Student (Supervisor: Fu Song)

ShanghaiTech University

Email: zhangyd1@@shanghaitech.edu.cn

Research Topics

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. Currently, I am also a research assistant in Research Lab for Intelligent Software Engineering (RISE) at Singapore Management University and work with Prof. Jun Sun.

[Update!] Currently, I am looking for a post doc position in the field of trustworthy AI.

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.