江涛，男，博士，教授
受教育经历
2006.09-2010.07 云南大学 软件学院 理学博士
2000.09-2003.07 云南大学 信息学院 工学硕士
1991.09-1995.07 南京大学 计算机科学与技术系 工学学士
教学工作
承担本科生《软件工程》、《信息系统分析与建模》、《信息系统设计与实现》、《面向对象程序设计》和《软件工程实践》等课程的教学。
主要研究方向
主要涉及软件工程领域的软件形式化建模和自动推理方法以及人工智能领域的图像分类、目标检测、软件需求理解和缺陷检测等。
承担科研项目
代表性成果
Tao Jiang, Weihong Zhou. An Approach of Defining Domain Constraints for Domain-Specific Modeling Language. International Journal of Pattern Recognition and Artificial Intelligence. 2021, 35(9): 2153002-1-2153002-20. (SCI收录)
Tao Jiang. A Description Method for Formalizing Domain-Specific Modelling Language. Computer Systems Science & Engineering. 2018, 33(5): 299-308. (SCI收录)
Tao Jiang. Research on Metamodel Consistency Verification Based on First-order Logical Inference. Przeglad Elektrotechniczny. 2012, 88(1B): 132-136. (SCI收录)
Tao Jiang, Yumei She, Xin Wang. An Approach for Automatically Verifying Metamodels Consistency. International Journal of Simulation Systems, Science & Technology. 2016, 17(27)：201~207. (EI收录)
何维娟, 江涛*. 基于改进YOLOV3 的遥感图像舰船目标检测. 云南民族大学学报(自然科学版). 2022, 31(1): 89-93.
何维娟, 江涛*. 舰船遥感图像数据集DSTD的构建研究. 计算机技术与发展. 2022, 32(7): 82-86. ( CCF推荐C类期刊，科技核心)
和丽华, 江涛, 潘文林, 杨皓然. 基于CNN-BGRU的音素识别研究. 云南民族大学学报(自然科学版). 2020, 29(05): 493-500.
和丽华,江涛. 佤语语音语料端点检测算法. 云南民族大学学报（自然科学版）. 2019, 28(2): 186-190.
学术兼职
联系方式
