招生信息


招生专业

081202 计算机软件与理论
083500 软件工程
085211 计算机技术

招生方向

自动推理与约束求解
程序分析与软件测试