Contact
- 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. My main research interests are:
- Program verification and analysis
- Memory safety analysis
- Memory repair
Education
- Sept. 2020 – present: Master 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, Changchun University of Science and Technology (CUST)
Tools
- [SESL]: A Symbolic Executor based on Array Separation Logic.