Education
Explore our educational resources and courses
Course Information
Software Testing and Analysis
Course Type Specialized Course
Instructor Jun Yan
A specialized course for senior undergraduate students in the School of Computer Science, offered every fall semester.
Software Analysis and Testing
Course Type Specialized Course
Instructor Jun Yan
A graduate-level course for first-year graduate students, co-taught with Researcher Yan Cai every fall semester.
High-Assurance Software Engineering
Course Type Specialized Course
Instructor Jian 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 Type Required Course
Instructor Rongjie 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
Software Testing and Analysis - Beijing Excellent Teaching Plan
Teaching Platform
Intelligent Teaching Platform System Software v1.0
Modern educational support platform