一、团队介绍
团队现有成员近40人，其中教师成员8人，博士7人，另有研究生成员30余人。团队长期致力于AI技术的前沿理论研究，在国际知名学术期刊发表多篇论文，并积极将AI技术应用于遥感、图像识别、社交网络分析、智慧城市、高铁、石油勘探等工程领域，近年来承担/参与了多项相关技术研发项目，具有深厚的技术积累和丰富的项目经验。
二、研究方向
1、人工智能
2、计算机三维视觉
3、激光雷达点云处理技术
4、网络舆情分析、社交网络计算
5、机器学习、图像识别、数据挖掘
6、嵌入式系统、智慧物联网
7、电磁探测、石油测井、地矿勘探
8、形式化验证、自动推理、定理机器证明
三、团队成员
团队现有教师成员8人，研究生成员30余人，其中，具有博士学位7人，教授1人，副教授2人，讲师5人。
四、重要科研成果
1、国家、省部级基金8项
2、其它科研项目30余项
3、SCI论文50余篇
4、发明专利近10项
5、国际顶尖证明器竞赛CASC亚军
五、主要科研项目
2、基于逻辑的形式化自动证明技术
3、车载LiDAR点云路面状况感知、车载LiDAR点云道路场景建筑立面语义/实例分割数据集、机载LiDAR点云建筑物语义/实例分割
4、云环境下可验证隐私保护技术
5、基于卷积神经网络的非遗知识图谱推理方法
6、深度伪造图像串行鉴别定位技术
7、微博热点隐话题发现及其时序特性研究
8、高铁4C检测车及智能缺陷识别技术
9、基于无人机的无人值守智能森林防火系统
10、页岩气油基泥浆微电阻率扫描成像测井关键技术、随钻电磁探测及远传系统
11、新型河流穿越石油管线检测设备
