删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
内蒙古大学计算机学院导师教师师资介绍简介-孙涛（博士）
本站小编 Free考研考试/2021-06-20
孙涛，中共党员，1980年出生，副教授，硕士生导师
办公电话： 电子邮件：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，内蒙古大学，本科生军训优秀连队指导员。
相关话题/内蒙古大学 计算机
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19内蒙古大学计算机学院导师教师师资介绍简介-马学彬（博士）
马学彬（1981-），男，内蒙古赤峰人，博士，副教授，硕士生导师。2009年1月毕业于东北大学计算机应用技术专业，获工学博士学位，目前为中国计算机学会大数据专家委员会通讯委员、中国保密协会隐私保护专业委员会委员、ACM呼和浩特分会理事、内蒙古自治区大数据与云计算标准委员会特聘专家委员。近年来，在国家 ...内蒙古大学师资导师 本站小编 Free考研考试 2021-06-20内蒙古大学计算机学院导师教师师资介绍简介-吴伟（博士）
吴伟，男，博士，1980年生，2014年获得内蒙古大学计算机应用技术工学博士学位。现任内蒙古大学计算机学院副教授。以课题组骨干人员身份主持和参与了多项国家级和省部级科研课题，包括1项国家973计划前期研究专项课题、4项国家自然科学基金项目课题、1项内蒙古自然科学金重大项目课题、2项内蒙古自然科学基金 ...内蒙古大学师资导师 本站小编 Free考研考试 2021-06-20内蒙古大学计算机学院导师教师师资介绍简介-贾冰（博士）
个人简介：贾冰，女，汉族，1985年出生，副教授，工学博士。现任教于内蒙古大学计算机学院，硕士生导师。主要从事复杂网络和人工智能、物联网与服务计算方面的研究。至今在国内外核心期刊杂志和学术会议发表学术论文20余篇，主持科研及教学项目6项窗体顶端联系地址：呼和浩特市赛罕区大学西路235号内蒙古大学计算 ...内蒙古大学师资导师 本站小编 Free考研考试 2021-06-20内蒙古大学计算机学院导师教师师资介绍简介-崔波（博士）
崔波，1983年12月生，博士，副教授，硕士生导师。研究方向为VANET、命名数据网络、数据库技术以及区块链。2006年毕业于内蒙古大学计算机学院，获学士学位；2008年毕业于武汉大学软件工程国家重点实验室，获工学硕士学位；2017年毕业于内蒙古大学计算机学院计算机应用技术专业，获得工学博士学位。主 ...内蒙古大学师资导师 本站小编 Free考研考试 2021-06-20内蒙古大学计算机学院导师教师师资介绍简介-苏向东（博士）
苏向东，男，博士，1984年生，内蒙古乌兰察布市人，现任内蒙古大学计算机学院副教授。以课题组骨干人员身份主持和参与了多项国家级和省部级科研课题，包括1项国家973计划前期研究专项课题、6项国家自然科学基金项目课题、1项内蒙古自然科学金重大项目课题、1项内蒙古自然科学基金项目、以及多项自治区横向项目课 ...内蒙古大学师资导师 本站小编 Free考研考试 2021-06-20内蒙古大学计算机学院导师教师师资介绍简介-刘维东（博士）
刘维东，男，1988年生，博士，副教授，硕士生导师。2016年毕业于上海大学计算机工程与科学学院，获工学博士学位。毕业后，在中国外汇交易中心从事软件产品线和交易新技术研究，中国科学技术信息研究所博士后。2017年5月起至今任教于内蒙古大学计算机学院，主持省部级以上项目4项，研究方向包括：智能信息处理 ...内蒙古大学师资导师 本站小编 Free考研考试 2021-06-20内蒙古大学计算机学院导师教师师资介绍简介-诺明花（博士）
诺明花(1981-)，博士，硕导，副教授。2013年毕业于中国科学院软件研究所计算机软件与理论专业，获工学博士学位。现任教于内蒙古大学计算机学院。2005开始从事中文信息处理、少数民族语言信息处理、信息抽取、机器翻译的研究工作。在国内核心期刊和国际学术会议发表学术论文20余篇，申请发明专利3项，获得 ...内蒙古大学师资导师 本站小编 Free考研考试 2021-06-20内蒙古大学计算机学院导师教师师资介绍简介-高永强（博士）
高永强，男，博士，2013年毕业于上海交通大学计算机科学与工程系并获得工学博士学位，在读期间曾获得上海交通大学研究生优秀奖学金。主要从事虚拟化、云计算和绿色计算方面的研究。近3年在国际期刊和会议上以第一作者身份发表论文7篇，获得软件著作权1项，申请发明专利1项，其中两篇SCI期刊论文为《中国计算机学 ...内蒙古大学师资导师 本站小编 Free考研考试 2021-06-20内蒙古大学计算机学院导师教师师资介绍简介-李乌云格日乐（博士）
李乌云格日乐，女，蒙古族，1981年生，内蒙古通辽人，现任内蒙古大学计算机学院副教授，硕士生导师。2013年毕业于日本静冈大学，获工学博士学位。主要研究方向为（1）各类无线网络通信协议；（2）移动边缘计算和众包；（3）医疗数据挖掘等。目前，主持国家自然科学基金1项，内蒙古自然科学基金1项，内蒙古大学 ...内蒙古大学师资导师 本站小编 Free考研考试 2021-06-20内蒙古大学计算机学院导师教师师资介绍简介-王娟（博士）
王娟，女，博士，硕士生导师，2014年毕业于哈尔滨工业大学计算机科学与技术学院获工学博士学位。2007年毕业于内蒙古师范大学数学专业获理学学士，2009年毕业于哈尔滨工业大学应用数学专业获理学硕士。现主要研究方向：机器学习，数据挖掘，生物信息学。近年来，以第一作者发表SCI收录的文章共10余篇，其中 ...内蒙古大学师资导师 本站小编 Free考研考试 2021-06-20
