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 student in the group. My main research interests are:

• Interactive Theorem Proving
• Software verification

Education​

• Sept. 2023 – present: Master 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: Software Engineering (Bachelor’s degree) at THSS, Tsinghua University