Yutian Zhu (朱雨田)’s Homepage


  • Institute: Institute of Software, CAS
  • Apartment: State Key Lab. of Computer Science(SKLCS)
  • Email: zhuyt###ios**ac*cn

About me

I am currently a master student in the group.

Research Interests:

  • Program verification and analysis
  • Memory safety analysis
  • Memory repair


  • 09/2020 – present: Master Student in Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences(ISCAS)
  • 09/2015 – 06/2019:Software Engineering, Changchun University of Science and Technology(CUST)


  • [SESL]: A Symbolic Executor based on Array Separation Logic