Skip to main content

Yuexin Kang (康跃馨)'s Homepage

Contact​

  • Office: Room 515, Building 5
  • Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
  • email: kangyx###ios**ac*cn

About me​

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

  • Program verification and analysis
  • Webassembly

Education​

  • Sept. 2023 – 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. 2019: Computer Science and Technology, Tsinghua University
  • Sept. 2012 – Jun. 2016: Software Engineering, Zhejiang University