计算机和软件是一个学院，计算机学院最强的应该是形式化，但是没啥卵用（或者我们太渣。。），其它啥方向都有。