孙涛，中共党员，1980年出生，教授，硕士生导师

办公电话：0471-4994323   电子邮件：cssunt@imu.edu.cn

学历：

1999.9~2003.7，内蒙古大学计算机学院，本科
2003.9~2006.7，内蒙古大学计算机学院，硕士
2008.9~2013.1，内蒙古大学计算机学院，博士

研究方向：
形式化方法，软件测试

科技项目：  

主持国家自然科学基金项目一项；主持内蒙古自然科学基金项目一项。

科技论文：  

[1] 孙涛, 叶新铭. A Model Reduction Method for Parallel Software Testing. Journal of Applied Mathematics (0.834), Vol. 2013, ID 595897.（SCIE检索，影响因子0.834）
[2] 孙涛, 郭欣, 张婷. Testing Sequence Generation Method Based on Unrelated Behaviors Serializing. The 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications (IEEE TrustCom-18). (CCF推荐C类会议)
[3] 孙涛, 张琳婧, 马慧萍. An Automatic Generation Method for Path Expressions of CPN Model Focus on Tested Behaviors. Proceedings of the 2018 IEEE 22nd International Conference on Computer Supported Cooperative Work in Design (IEEE CSCWD 2018). (CCF推荐C类会议)
[4] 孙涛, 张玮, 郭欣, 万晓云. Research on CPN Model Reduction Focus On Parallel Tested Behaviors. The 15th IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA 2017), pp. 827-833, Guangzhou, China, December 12-15, 2017. (CCF推荐C类会议).
[5] 孙涛, 叶新铭, 刘靖. A Test  Generation Method Based on Model Reduction for Parallel Software. The  Thirteenth International Conference on Parallel and Distributed  Computing, Applications and Technologies(PDCAT), 2012. (CCF推荐C类会议)
[6] 孙涛, 叶新铭, 刘靖, 杨蒙. 一种基于CPN的协议测试序列生成方法. 解放军理工大学学报, Vol.13(2), pp. 165-170, 2012. (EI检索)
[7] Tao Sun, Xinming Ye, Hongji Yang, Jing Liu.  Parallel Software Reuse Driven CPN Model Reduction and Analysis  Approach. IEEE 36th International Conference on Computer Soft-ware and  Applications Workshops(Compsac), 2012. (CCF推荐B类会议Workshop)
[8] 孙涛, 叶新铭. 一种针对CP-nets并发模型的验证方法[J]. 计算机科学,2014,41(7):135-139,161.（CSCD期刊）
[9] 孙涛,叶新铭.针对软件中2路并发行为完全覆盖的测试方法[J].重庆邮电大学学报(自然科学版),2014,26(6):727-736.（CSCD期刊）
[10] 孙涛, 叶新铭, 刘靖, 杨蒙.  Formal Modeling and Analysis of HMIPv6 using Colored Petri Nets.  International Conference on Communications and Mobile Compu-ting (CMC),  2010. (EI检索)
[11] 孙涛, 叶新铭, 刘靖. A test  sequence selection method for parallel software systems. The Fourth  International Symposium on Parallel Architectures, Algorithms and  Pro-gramming (PAAP), 2011. (EI检索)
[12] 孙涛, 张琳婧, 马慧萍. An Automatic Generation Method for Condition Expressions of CPN Model Focus on Tested Behaviors. The 10th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage Workshops (SpaCCS 2017 Workshops), LNCS 10658, pp. 271-285, Guangzhou, China, December 12-15, 2017. (EI检索)
[13] 张玮, 孙涛(通讯作者), 万晓云. 针对并行软件待测行为测试的模型化简方法[J]. 计算机应用, 2017, 37(5):1276-1281.(CSCD期刊)
[14] 李华, 孙涛, 王显荣, 邢熠等. 基于CPN对系统的并发行为进行测试. 计算机科学, 2016, 43(1):218-225. (CSCD期刊)
[15] 孙涛,李华,叶新铭. TTCN协议测试执行系统驱动器的协议相关性研究[J]. 内蒙古大学学报(自然科学版), 2007, 38(6):702-706.

科技获奖： 

2016，内蒙古自治区人民政府，内蒙古自治区科学技术奖自然科学三等奖，《测试目的覆盖的基于Petri网模型的并发软件测试方法研究》；

2012，内蒙古自治区人民政府，内蒙古自治区科学技术奖自然科学三等奖，《下一代互联网协议的互操作性测试建模及测试方法研究》；

2012，呼和浩特市人民政府，呼和浩特市科技进步奖二等奖，《呼和浩特市科技项目与成果网上申报评审系统开发及应用》。

学校获奖：

2011，内蒙古大学，“教书育人”先进个人；  

2013，内蒙古大学，“教书育人”先进个人；

2011，内蒙古大学，优秀共产党员；

2011，内蒙古大学计算机学院党总支，争先创优党员示范教学岗；

2013，内蒙古大学，优秀研究生辅导员；

2015，内蒙古大学，就业工作先进个人；

2012，内蒙古大学，所管理计算机学院研究生分会被评为优秀研究生分会；

2014，内蒙古大学，本科生创新基金优秀指导教师；

2006，内蒙古大学，内蒙古大学教学技巧大赛二等奖；

2012~2015，内蒙古大学，优秀工会活动积极分子；

2011~2012，内蒙古大学，优秀工会活动积极分子；

2015，内蒙古大学计算机学院，年度考核优秀；

2012，内蒙古大学计算机学院，年度考核优秀；  

2009，内蒙古大学计算机学院，年度考核优秀；

2008，内蒙古大学，本科生军训优秀连队指导员；  

2011，内蒙古大学，本科生军训优秀连队指导员。