计算机软件与理论（081202）
专业介绍：
计算机软件与理论是指由计算机科学理论和研究、开发计算机软件所涉及的理论、方法、技术所构成的学科，是信息科学的核心研究领域之一，是计算机学科用来为国民经济、国防建设、人民生活服务的工具和基础，本专业从事并行算法、高性能计算及应用、高可信软件、协议理论与工程、无线传感器网络等方向的研究，培养具有坚实理论基础和较强软件设计与开发能力的高级人才。
研究方向：
1．计算复杂性理论
2．并行与分布计算
3．形式描述方法和验证技术
4．软件工程学
5．软件测试技术
6．编译和操作系统
7．移动计算和传感网络
8．并行与分布数据库