信息工程学院

图像处理，机器学习。

互联网体系结构，高性能路由系统，IPv6及过渡技术，物联网。

数字图像处理，实时信号处理。

导航与控制、基于FPGA的嵌入式系统设计。

形式化验证、高可靠嵌入式系统

图像处理，计算机视觉等。

人工智能、智能信息处理、数据挖掘、移动云计算、服务计算等。

信息技术师范生教育，信息化教学，多媒体学习资源设计开发。

Agent(gameAI)，规划及搜索

数据挖掘，情感分析，知识工程，信息检索。

主要从事精准农业信息获取与数据分析、智能农机转变自动导航与系统集成技术研究。

1、自然语言处理；2、人工智能技术应用；3、智能教育。

研究领域为形式化验证——主要关注点包括区块链、智能合约的验证、形式语言中信息流安全的验证等。

嵌入式系统形式化建摸与验证，数据通信协议的可靠性分析与验证

软件系统构造，智能教育。

模式识别，信息融合，不确定推理，机器人视觉。

机器人技术，智能控制，基于FPGA嵌入式系统，动态码流互动视频

计算机及嵌入式系统体系结构、非易失存储器体系结构、存算一体化体系结构、非易失处理器； 关注系统的软硬件协同设计对计算和存储的性能、功耗及可靠性的影响