站内搜索

友情链接

师资队伍

孙涛(博士)
来源:计算机学院  发布时间: 2016-06-08 15:04:58

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

学历:

  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] 孙涛, 叶新铭, 刘靖, 杨蒙. 一种基于CPN的协议测试序列生成方法. 解放军理工大学学报, Vol.13(2), pp. 165-170, 2012. (EI检索)
  [3] 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. (EI检索,CCF推荐B类会议)
  [4] Tao Sun, Xinming Ye, Jing Liu. A Test  Generation Method Based on Model Reduction for Parallel Software. The  Thirteenth International Conference on Parallel and Distributed  Com-puting, Applications and Technologies(PDCAT), 2012. (EI检索,CCF推荐C类会议)
  [5] 孙涛, 叶新铭. 一种针对CP-nets并发模型的验证方法[J]. 计算机科学,2014,41(7):135-139,161.(CSCD核心期刊)
  [6] 孙涛,叶新铭.针对软件中2路并发行为完全覆盖的测试方法[J].重庆邮电大学学报(自然科学版),2014,26(6):727-736.(CSCD核心期刊)
  [7] Tao Sun, Xinming Ye, Jing Liu, Meng Yang.  Formal Modeling and Analysis of HMIPv6 using Colored Petri Nets.  International Conference on Communications and Mobile Compu-ting (CMC),  2010. (EI检索)
  [8] Tao Sun, Xinming Ye, Jing Liu. A test  sequence selection method for parallel software systems. The Fourth  International Symposium on Parallel Architectures, Algorithms and  Pro-gramming (PAAP), 2011. (EI检索)
  [9] 孙涛,李华,叶新铭. TTCN协议测试执行系统驱动器的协议相关性研究[J]. 内蒙古大学学报(自然科学版), 2007, 38(6):702-706.

获得奖励:  

 2012,内蒙古自治区人民政府,内蒙古自治区科学技术奖自然科学三等奖;

 2012,呼和浩特市人民政府,呼和浩特市科技进步奖二等奖;

 2011,内蒙古大学,“教书育人”先进个人;  

 2013,内蒙古大学,“教书育人”先进个人;

 2011,内蒙古大学,优秀共产党员;

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

 2012,内蒙古大学,优秀工会活动积极分子;

 2006,内蒙古大学,内蒙古大学教学技巧大赛二等奖;

 2013,内蒙古大学,优秀研究生辅导员;

 2009,内蒙古大学计算机学院,优秀工作者;  

 2012,内蒙古大学计算机学院,优秀工作者;

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

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

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




内蒙古大学计算机学院  

联系我们 | 关于我们 | 邮箱地址:csmhjy@imu.edu.cn    蒙ICP16002391号-1


    @2016 内蒙古大学计算机学院 版权所有