Program overview
The Computer Software and Theory program, simply put, is about how to make software better and smarter. You will study core courses such as algorithms and data structures, operating systems, compiler principles, software engineering, database systems, and computer networks, as well as cutting-edge areas like artificial intelligence, distributed systems, and formal verification. This major is ideal for students who enjoy logical reasoning, have a passion for programming, and possess a solid math foundation. Chinese universities have unique strengths in this field—for example, Tsinghua's software engineering, Peking University's computational theory, and Zhejiang University's system software. Many labs collaborate directly with companies like Huawei and Tencent, giving you exposure to real large-scale projects.