Ruixiang Huang (黄瑞祥) 's Homepage
Contact
- Institute: Institute Of Software Chinese Academy of Science (ISCAS)
- Apartment: State Key Lab. of Computer Science (SKLCS)
- Email:
concate-pair $ pair-swap $ parse-pair $ (##prefix-common-126##ruixianghuang2003##)
About me
- I am currently a trainee in the group.
- Sept. 2021 - present: Undergraduate Student in Software Engineering, School of Software, Huazhong University of Science and Technology
Research interests
- OS kernel verification
- Formal Verification
- Applications of Large Language Models