计算机信息工程学院

1、可信软件，包括软件形式化，程序分析与验证，模型驱动的软件开发，并发分布式计算等，主要基于逻辑与自动机理论； 2、智能化软件，包括代码搜索，api推荐，服务复用，代码生成等，主要基于大数据与人工智能技术。

中文信息处理、信息检索、机器学习、数据挖掘、并行计算

自然语言处理、篇章分析、计算语言学、语言变体分析、众包计算

数据库技术及应用；软件工程；软件设计与应用。

主要研究方向为无线传感器网络、分布式系统与移动计算、信息安全。

物联网技术、嵌入式系统、图像处理、系统仿真。 数据融合、物联网技术、嵌入式系统、图像处理。

主要研究方向为计算机应用和计算机网络

智能教育软件、软件形式化

计算机应用及数据库技术

进化计算及其应用

主要从事信息检索、文本分类领域的研究。

主要研究方向为可信软件、泛型程序设计。

主要从事软件体系结构、高可信软件、软件演化与维护、软件自动化、基于开源软件库（例如gitHub）的软件工程等方面的研究。

机器学习与数据挖掘（大数据）、自然语言处理、智能教育与软件等