內(nèi)蒙古大學(xué)

內(nèi)蒙古大學(xué)計(jì)算機(jī)學(xué)院研究生導(dǎo)師孫濤介紹如下：

孫濤，中共黨員，1980年出生，副教授，碩士生導(dǎo)師

辦公電話：0471-4994323   電子郵件：cssunt@imu.edu.cn

學(xué)歷：

1999.9~2003.7，內(nèi)蒙古大學(xué)計(jì)算機(jī)學(xué)院，本科

2003.9~2006.7，內(nèi)蒙古大學(xué)計(jì)算機(jī)學(xué)院，碩士

2008.9~2013.1，內(nèi)蒙古大學(xué)計(jì)算機(jī)學(xué)院，博士

研究方向：

形式化方法，軟件測(cè)試

科技項(xiàng)目：

主持國家自然科學(xué)基金項(xiàng)目一項(xiàng)；主持內(nèi)蒙古自然科學(xué)基金項(xiàng)目一項(xiàng)。

科技論文：

[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類會(huì)議)

[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類會(huì)議)

[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類會(huì)議).

[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類會(huì)議)

[6] 孫濤, 葉新銘, 劉靖, 楊蒙. 一種基于CPN的協(xié)議測(cè)試序列生成方法. 解放軍理工大學(xué)學(xué)報(bào), 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類會(huì)議Workshop)

[8] 孫濤, 葉新銘. 一種針對(duì)CP-nets并發(fā)模型的驗(yàn)證方法[J]. 計(jì)算機(jī)科學(xué),2014,41(7):135-139,161.（CSCD期刊）

[9] 孫濤,葉新銘.針對(duì)軟件中2路并發(fā)行為完全覆蓋的測(cè)試方法[J].重慶郵電大學(xué)學(xué)報(bào)(自然科學(xué)版),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 StorageWorkshops (SpaCCS 2017 Workshops), LNCS 10658, pp. 271-285, Guangzhou, China, December 12-15, 2017. (EI檢索)

[13] 張瑋, 孫濤(通訊作者), 萬曉云. 針對(duì)并行軟件待測(cè)行為測(cè)試的模型化簡(jiǎn)方法[J]. 計(jì)算機(jī)應(yīng)用, 2017, 37(5):1276-1281.(CSCD期刊)

[14] 李華, 孫濤, 王顯榮, 邢熠等. 基于CPN對(duì)系統(tǒng)的并發(fā)行為進(jìn)行測(cè)試. 計(jì)算機(jī)科學(xué), 2016, 43(1):218-225. (CSCD期刊)

[15] 孫濤,李華,葉新銘. TTCN協(xié)議測(cè)試執(zhí)行系統(tǒng)驅(qū)動(dòng)器的協(xié)議相關(guān)性研究[J]. 內(nèi)蒙古大學(xué)學(xué)報(bào)(自然科學(xué)版), 2007, 38(6):702-706.

科技獲獎(jiǎng)：

2016，內(nèi)蒙古自治區(qū)人民政府，內(nèi)蒙古自治區(qū)科學(xué)技術(shù)獎(jiǎng)自然科學(xué)三等獎(jiǎng)，《測(cè)試目的覆蓋的基于Petri網(wǎng)模型的并發(fā)軟件測(cè)試方法研究》；

2012，內(nèi)蒙古自治區(qū)人民政府，內(nèi)蒙古自治區(qū)科學(xué)技術(shù)獎(jiǎng)自然科學(xué)三等獎(jiǎng)，《下一代互聯(lián)網(wǎng)協(xié)議的互操作性測(cè)試建模及測(cè)試方法研究》；

2012，呼和浩特市人民政府，呼和浩特市科技進(jìn)步獎(jiǎng)二等獎(jiǎng)，《呼和浩特市科技項(xiàng)目與成果網(wǎng)上申報(bào)評(píng)審系統(tǒng)開發(fā)及應(yīng)用》。

學(xué)校獲獎(jiǎng)：

2011，內(nèi)蒙古大學(xué)，“教書育人”先進(jìn)個(gè)人；

2013，內(nèi)蒙古大學(xué)，“教書育人”先進(jìn)個(gè)人；

2011，內(nèi)蒙古大學(xué)，優(yōu)秀共產(chǎn)黨員；

2011，內(nèi)蒙古大學(xué)計(jì)算機(jī)學(xué)院黨總支，爭(zhēng)先創(chuàng)優(yōu)黨員示范教學(xué)崗；

2013，內(nèi)蒙古大學(xué)，優(yōu)秀研究生輔導(dǎo)員；

2015，內(nèi)蒙古大學(xué)，就業(yè)工作先進(jìn)個(gè)人；

2012，內(nèi)蒙古大學(xué)，所管理計(jì)算機(jī)學(xué)院研究生分會(huì)被評(píng)為優(yōu)秀研究生分會(huì)；

2014，內(nèi)蒙古大學(xué)，本科生創(chuàng)新基金優(yōu)秀指導(dǎo)教師；

2006，內(nèi)蒙古大學(xué)，內(nèi)蒙古大學(xué)教學(xué)技巧大賽二等獎(jiǎng)；

2012~2015，內(nèi)蒙古大學(xué)，優(yōu)秀工會(huì)活動(dòng)積極分子；

2011~2012，內(nèi)蒙古大學(xué)，優(yōu)秀工會(huì)活動(dòng)積極分子；

2015，內(nèi)蒙古大學(xué)計(jì)算機(jī)學(xué)院，年度考核優(yōu)秀；

2012，內(nèi)蒙古大學(xué)計(jì)算機(jī)學(xué)院，年度考核優(yōu)秀；

2009，內(nèi)蒙古大學(xué)計(jì)算機(jī)學(xué)院，年度考核優(yōu)秀；

2008，內(nèi)蒙古大學(xué)，本科生軍訓(xùn)優(yōu)秀連隊(duì)指導(dǎo)員；

2011，內(nèi)蒙古大學(xué)，本科生軍訓(xùn)優(yōu)秀連隊(duì)指導(dǎo)員。