Shizhen Yu (于世禛)'s Homepage
Contact
- Office: No. 618, Room 339, Building 5
- Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
- email:
yusz###ios**ac*cn
About me
I am currently a Ph.D. student in the group. My main research interests are:
- Hardware Verification
Education
- 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. 2016 – Jun. 2020: Bachelor's degree in Electronic Information Science and Technology from Beijing Normal University
Publications
- Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li, Zhilin Wu, David N. Jansen, Lijun Zhang. CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper). Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings, 2022. DOI