Photo

Yedi Zhang

Ph.D. Student (Supervisor: Fu Song)
ShanghaiTech University
Email: zhangyd1@@shanghaitech.edu.cn

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. 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.

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

News

  • 2022/07 -- One paper is accepted by ASE 2022.
  • 2022/07 -- One paper is accepted by SAS 2022.
  • 2022/03 -- I started my year-long visit at Singapore Management University, supervised by Prof. Jun Sun.
  • 2021/10 -- One paper is under review of TOSEM 2021.
  • 2021/04 -- One 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.

Awards

  • 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.


© Yedi Zhang | Last updated: July 21th, 2022.