Education
Explore our educational resources and courses
Course Information
Software Testing and Analysis
Course TypeSpecialized Course
InstructorJun Yan
A specialized course for senior undergraduate students in the School of Computer Science, offered every fall semester.
Software Analysis and Testing
Course TypeSpecialized Course
InstructorJun Yan
A graduate-level course for first-year graduate students, co-taught with Researcher Yan Cai every fall semester.
High-Assurance Software Engineering
Course TypeSpecialized Course
InstructorJian Zhang, Peng Wu, Xueyang Zhu
A first-year course at the Hangzhou Institute for Advanced Study, co-taught with Peng Wu and Xueyang Zhu, offered every spring semester.
Foundations of Theoretical Computer Science
Course TypeRequired Course
InstructorRongjie Yan
A required course for second-year undergraduate students in the School of Computer Science, offered every spring semester.
Textbooks
Automatic Generation of Combinatorial Test Data
Author: Jian Zhang, Zhiqiang Zhang, Feifei Ma
Logic in Computer Science
Author: Hantao Zhang, Jian Zhang
Lecture Notes
- 1
Software Testing and Analysis - Beijing Excellent Teaching Plan
Teaching Platform
Intelligent Teaching Platform System Software v1.0
Modern educational support platform