本学科研究计算机系统结构的新理论、新技术及其应用,培养具有扎实的计算机硬件、软件基础理论知识,能够从事计算机系统结构研究与应用开发的高级专门人才。我院计算机系统结构专业有系统芯片(SOC)设计与验证、计算机网络和信息安全、嵌入式系统设计、嵌入式多智能体系统等研究方向。
系统芯片(SOC)设计与验证方向研究系统芯片的设计验证方法,特色是把在VLSI 设计的形式化验证方法研究和通讯专用集成电路设计密切结合起来。本方向多次承担国家自然科学基金关于VLSI设计验证方法的研究项目、国家“十五”科技攻关课题、“863”项目和省部级、市科技创新项目以及多项企业委托的专用集成电路设计开发项目。研究基地ASIC设计中心创建于1996年,是国内最早开展通讯专用集成电路设计的单位之一。
计算机网络和信息安全方向把宽带多媒体通信作为主攻方向,将音视频的编码、传输、控制和管理作为主要研究内容。形成以软件开发和硬件设计为基础、以实用化产品为科技成果的表现形式的宽带多媒体通信研发基地。该方向先后承担了国家中小型企业创新基金、教育部科技研究重点项目、信息产业部科研计划项目、西安市重大创新工程项目等,在多媒体通信领域的IP电话设备和IP网络视频会议研究方面在国内具有较大影响。
计算机软件与理论(081202)
我院计算机软件与理论学科培养具有坚实的计算机软件基础理论和软件设计能力和专门知识的从事计算机软件相关的理论研究、软件开发的专门人才。该硕士点具有软件验证与测试、智能信息处理、嵌入式软件等研究方向。
形式化方法是利用数学的逻辑、代数等理论解决计算机软件和硬件中的设计和验证问题。软件验证与测试研究形式化方法在软件和硬件验证中的应用。以省级重点实验室“软件工程实验室”和“软件工程研究所”为依托,先后承担了多项国家自然科学基金项目。
本学科主要研究方向有面向服务的体系结构、嵌入式操作系统、软件测试和验证技术、模糊逻辑与模糊系统、图像处理方法、智能技术在网络入侵检测中的应用等。
计算机应用技术(081203)
计算机应用技术学科着重研究计算机用于各个领域特别是通信信息领域所涉及的原理、方法与技术,它是计算机产业和计算机科学与技术发展的动力和源泉,已渗透到现代科学技术各领域、现代社会各部门和现代生活各方面。我院计算机应用技术学科属陕西省和信息产业部重点学科,涵盖了计算机科学系、信息中心、通信技术研究所等单位,并以信息产业部部级重点实验室“专用集成电路(ASIC)设计中心”、“软件工程实验室”为支撑,已经形成了具有自己特色的硕士研究生培养基地。
本学科主要研究方向为:

