Huajian Gao (高华健)'s Homepage
Contact
- Office: Room 339, Building 5
- Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
- email:
gaohj###ios**ac*cn
About me
I am currently a Master's student in the group. My main research interests are:
- Interactive Theorem Proving
- Software verification
Education
- Sept. 2023 – present: Master's student in Computer Science and Technology at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
- Sept. 2018 – Jun. 2023: Bachelor’s degree in Software Engineering from THSS, Tsinghua University