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

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

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

News

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

Awards

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


© Yedi Zhang | Last updated: Oct. 24th, 2022.