Yedi Zhang

Ph.D. Student (Supervisor: Fu Song)
ShanghaiTech University

Google Scholar / DBLP / CV

Research Topics

I am a 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)



  • 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 Assistant -- Theory of Computation, Fall 2020
  • Teaching Assistant -- Theory of Computation, Spring 2019.
  • Teaching Assistant -- Introduction to Programming, Fall 2018.

© Yedi Zhang | Last updated: Apr 18 2021