苏州大学 · 计算机科学与技术考研(081200)学硕

研究方向：（04）软件形式化与自动推理

• 考研年份：2026年
• 考研专业：计算机科学与技术（081200)
• 招生院系：计算机科学与技术学院
• 招生人数：10 专业总招生人数
• 学习方式：全日制
• 考试方式：统考
• 学位类型：学术学位硕士
• 博士点：有