计算机软件与理论（081202）

●计算机自动推理与机器证明

杨路

拟

招

生

总

人

数

23

人

1、101政治

2、201英语(一)

3、301数学（一）

4、863计算机学科综合（专业）

●信息安全

王晓京

●可信计算、信息安全

崔喆

●大数据及其智能处理技术

钟勇

●计算机应用软件

鲍胜利

●模式识别、数据挖掘

姚宇

●高可信计算、计算机数学

秦小林

●软件工程

彭程

●形式化方法

吴尽昭

●制造信息系统与制造物联

李少波

●大数据、云计算、量子计算、并行计算

王鹏

●自动推理与机器证明

刘忠

●教育信息化、互联网交互技术

张中文

●智能教育软件

陈联

计算机应用技术(081203)

●计算机应用、教育信息技术

张景中

●嵌入式系统与图像处理

古乐野

●机器视觉与模式识别

陈斌

●网络工程

王晓东

●嵌入式系统应用

伍岳庆

●图形图像处理、模式识别

姚宇

●图像处理、智能识别

彭程

●大数据智能分析、工业建模

秦小林

●数据库系统开发及应用

官磊

●ERPII

刘忠

软件工程(083500)

信息安全

王晓京

可信计算、信息安全

崔喆

大数据及其智能处理技术

钟勇

高可信计算

秦小林

计算机技术（085211）

●编码与信息安全技术

王晓京

1、101政治

2、201英语(二)

3、302数学（二）

4、863计算机学科综合（专业）

●计算机可靠性技术

崔喆

●嵌入式系统应用

李国勇

●图形图像处理、模式识别

姚宇

●信息系统设计与开发

鲍胜利

●云计算工程

王晓东

软件工程（085212）

●智能算法

王晓京

●软件过程技术与方法

钟勇

●程序设计与验证

吴尽昭

●物联网工程

王晓东