删除或更新信息，请邮件至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内蒙古大学计算机学院导师教师师资介绍简介-孟和吉雅（博士）
孟和吉雅，男，1971年10月生，副教授，博士，硕士生导师，赤峰市克什克腾旗人，1990年9月考入内蒙古大学计算机学院计算机及应用专业学习，1994年7月毕业后留校任教。2004年考入内蒙古大学少数民族语言文学专业实验语音学方向的在职博士研究生，2010年毕业。参加工作以来一直从事蒙古文信息处理和软 ...内蒙古大学师资导师 本站小编 Free考研考试 2021-06-20内蒙古大学计算机学院导师教师师资介绍简介-马学彬（博士）
马学彬（1981-），男，内蒙古赤峰人，博士，副教授，硕士生导师。2009年1月毕业于东北大学计算机应用技术专业，获工学博士学位，目前为中国计算机学会大数据专家委员会通讯委员、中国保密协会隐私保护专业委员会委员、ACM呼和浩特分会理事、内蒙古自治区大数据与云计算标准委员会特聘专家委员。近年来，在国家 ...内蒙古大学师资导师 本站小编 Free考研考试 2021-06-20内蒙古大学计算机学院导师教师师资介绍简介-刘彩霞（博士）
刘彩霞，内蒙古大学计算机学院教师，硕士生导师，副教授。2010年博士研究生毕业于北京理工大学计算机软件与理论专业，获工学博士学位。主演研究领域为SOPC片上可编程系统设计与开发、基于FPGA的数据处理与系统实现、计算机系统结构研究。参与国家自然基金项目的研究工作，发表多篇学术论文。联系方式：cslc ...内蒙古大学师资导师 本站小编 Free考研考试 2021-06-20内蒙古大学计算机学院导师教师师资介绍简介-张志斌（博士）
张志斌，1974年生，内蒙古大学计算机学院教师，副教授，硕士生导师。2008年毕业于华南农业大学电气化与自动化专业，获工学博士学位。主要参与完成课题有国家自然基金2项，广东省科技厅计划项目1项，国家863课题2项。目前，主持国家自然科学基金1项，主要参与国家自然科学基金1项，并主持完成国家自然基金项 ...内蒙古大学师资导师 本站小编 Free考研考试 2021-06-20内蒙古大学计算机学院导师教师师资介绍简介-班志杰（博士）
班志杰(1976-)，博士，硕导，副教授，从2011年开始招收学术硕士和专业硕士，主持国家自然基金1项、内蒙古自然科学基金1项、高等学校研究重点项目1项和内蒙古大学高层次人才引进科研启动项目1项，参加国家自然基金项目2项，指导内蒙古大学本科创新基金2项，国家大学生创新基金1项。联系方式e-mail: ...内蒙古大学师资导师 本站小编 Free考研考试 2021-06-20内蒙古大学计算机学院导师教师师资介绍简介-刘玉林
姓名刘玉林技术职称副教授定职时间2009出生年月1972电话Emailcslyl@imu.edu.cn教育情况2000年毕业于内蒙古大学计算机软件专业，获工学硕士学位。主要研究方向软件理论主要研究成果主持1项内蒙自然基金项目在国内期刊杂志、国际学术会议和国内学术会议发表论文10余篇;参编了1部教材在 ...内蒙古大学师资导师 本站小编 Free考研考试 2021-06-20内蒙古大学计算机学院导师教师师资介绍简介-张珺（博士）
姓名张珺技术职称副教授定职时间出生年月电话Emailzhangjun@imu.edu.cn教育情况主要研究方向主要研究方向：区块链，计算机网络。主要研究成果在研项目教师编号 ...内蒙古大学师资导师 本站小编 Free考研考试 2021-06-20内蒙古大学计算机学院导师教师师资介绍简介-张献国
张献国，男，1973年6月出生，山西省兴县人。现任内蒙古大学计算机学院党委委员、副教授、硕士生导师、信息工程管理系系主任。1995年本科毕业于内蒙古大学计算机系计算机及应用专业并留校从事教学科研工作至今，2005年硕士研究生毕业获内蒙古大学计算机应用工学硕士学位。现主要从事信息系统开发方法和技术、机 ...内蒙古大学师资导师 本站小编 Free考研考试 2021-06-20内蒙古大学计算机学院导师教师师资介绍简介-刘咏梅
刘咏梅，女，河北省清苑县人。现任内蒙古大学副教授，硕士生导师。1991年本科毕业于内蒙古大学计算机及应用专业，1999年研究生毕业于内蒙古大学计算机应用技术专业，获工学硕士学位。主要研究方向为嵌入式系统与软件测试工程，主持完成内蒙古自治区自然科学基金项目1项，参与国家级和省部级科研项目共10项。联系 ...内蒙古大学师资导师 本站小编 Free考研考试 2021-06-20内蒙古大学计算机学院导师教师师资介绍简介-王显荣
王显荣1986年7月于内蒙古大学本科毕业，2003年6月硕士研究生毕业，获得了计算机网络方向的硕士学位，现为内蒙古大学计算机学院副教授，硕士生导师。教学上，主讲过《汇编语言》、《C语言》、《C++程序设计》、《Java程序设计》、《JavaEE》、《操作系统》、《编译原理》、《数据结构》、《面向对象 ...内蒙古大学师资导师 本站小编 Free考研考试 2021-06-20
