人工智能数学基础（本科）
离散数学1（本科）
离散数学2（本科）
专业英语（本科）
System Analysis and Project Management (硕士，全英文)
Security, Ethics and Professionalism (硕士，全英文)
Research Project (硕士，全英文)
Professional Capstone Project (硕士，全英文)
Service-Oriented Software Engineering (硕士，全英文)
Formal Methods, Specification in Software Engineering (硕士，全英文)