Ruixiang Huang (黄瑞祥)'s Homepage
Contact
- Institute: Institute of Software, Chinese Academy of Sciences (ISCAS)
- Department: State Key Lab. of Computer Science (SKLCS)
- Email:
concate-pair $ pair-swap $ parse-pair $ (##prefix-common-126##ruixianghuang2003##)
About me
- I am a Master's student in the group.
- Sept. 2021 – Jul. 2025: Bachelor’s degree in Software Engineering from the School of Software, Huazhong University of Science and Technology
Research interests
- OS kernel verification
- Formal verification
- Applications of large language models