二级细分方向包括:Industrial software development,Academic,Embedded Programming,CAD (3) Assured Systems: including computer and network security, formal methods, and verification. 类似于保密系统,包括计算机/网络保密,核查等。 学校没有明确