Contact
- Office: No. 617, Room 339, Building 5
- Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
- email:
liuyic00#gmail.com
About me
I am currently a trainee in the group. My main research interests are:
- Hardware Verification
Education
- Sept. 2018 – present: Computer Science and Technology (Bachelor’s degree) at Dalian University of Technology
Publications
- : Formally Verifying Arithmetic Chisel Designs for All Bit Widths at Once. In 61st ACM/IEEE Design Automation Conference, DAC 2024, San Francisco, CA, USA, June 23-27, 2024, 2024.
Awards
- The 2020 ICPC Asia-East Continent Final Silver Medal
- The 45th ICPC Asia Regional Contest (Kunming Site) Gold Medal