研究方向：
  04计算机软件与理论
  计算机软件与理论学科以培养从事计算机软件理论研究研究和应用开发的高级工程技术人才为目标，拥有一支理论基础坚实、教学经验丰富、科研能力较强、应用领域知识较广、年龄结构合理、专业知识配套的师资队伍。现有硕士生导师8名，其中教授4名、副教授4名、博士6名。形成了形式化方法、智能计算理论与方法、智能系统与移动软件、高可信软件技术、集成电路验证、网络与信息安全、数据挖掘与知识发现等有特色的学科研究方向。近几年来，承担了若干项国家自然科学基金、省部级科研项目及横向科研项目，为硕士研究生独立能力、创新能力及综合能力的培养提供了良好的条件。