计算机软件与理论（081202）

　　专业介绍：
　　计算机软件与理论是指由计算机科学理论和研究、开发计算机软件所涉及的理论、方法、技术所构成的学科，是信息科学的核心研究领域之一，是计算机学科用来为国民经济、国防建设、人民生活服务的工具和基础，本专业从事并行算法、高性能计算及应用、高可信软件、协议理论与工程、无线传感器网络等方向的研究，培养具有坚实理论基础和较强软件设计与开发能力的高级人才。

　　研究方向：
　　1．计算复杂性理论
　　2．并行与分布计算
　　3．形式描述方法和验证技术
　　4．软件工程学
　　5．软件测试技术
　　6．编译和操作系统
　　7．移动计算和传感网络
　　8．并行与分布数据库