Keyin Wang (王珂音)'s Homepage
Contact
- email:
wangky###ios**ac*cn
About me
I am currently a Ph.D student in the group. My main research interests are:
Adversarial training and robustness hardware verification
Education
- Sept. 2019 – 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. 2017 – Jun. 2021: Department of Automation (Bachelor's degree), Tsinghua University
Publications
- Keyin Wang, Xiaomu Shi, Jiaxiang Liu, Zhilin Wu, Fu Song, Taolue Chen, David N. Jansen. A Formally Verified Procedure for Width Inference in FIRRTL. 35th European Symposium on Programming (ESOP), 2026.