Yutian Zhu (朱雨田)'s Homepage

Contact​

• Email: zhuyt###ios**ac*cn
• Github: https://github.com/zhuyutian57

About me​

I am currently a Ph.D student in the group. My main research interests are:

• Memory safety verification(C/Rust)
• Separation Logic

Education​

• Sept. 2020 – present: Ph.D. Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
• Sept. 2015 - Jun. 2019: Software Engineering(Bachelor’s degree) at Changchun University of Science and Technology (CUST)

Tools​

• SESL: A Symbolic Executor based on Array Separation Logic

• COMSPEN: A solver for Separation Logic with Compositional Inductive Definitions