科学研究方向

信息科学系的教师和研究生主要从事人工智能、数据科学、信息安全、图像处理、软件理论等方面的科研工作。近年来,承担了国家重大基础研究计划(973)、国家科技重大专项、国家自然科学基金重大、重点和面上、国际合作、教育部博士点等项目50余项,以及多项横向应用课题。主要研究领域包括(教师按姓氏字母序排列,研究领域不分先后):

1. 图像重建和图像处理

本方向教师:甘锐、姜明、马尽文、毛珩、杨建生
研究方向:图像重建与图像处理

2. 人工智能

本方向教师:林作铨、马尽文、牟克典、孙猛、夏壁灿
研究方向 人工智能、机器学习、智能信息处理与生物信息学、定理证明、模型检验、自动推理与程序验证

3. 数据科学

本方向教师:马尽文、牟克典、孙猛、徐茂智
研究方向 大数据挖掘、大数据分析、云安全

4. 软件工程、程序语言与计算机科学理论

本方向教师:林作铨、孙猛、夏壁灿
研究方向 软件工程、形式化方法、程序语言理论、符号计算、余代数理论、协调模型、计算逻辑与计算复杂性、互联网理论与应用、访问控制、信息物理融合系统

5. 网络与信息安全

本方向教师:孙猛、徐茂智
研究方向 密码学、网络空间安全、区块链与智能合约、安全协议验证