任刚,男,1978年11月生,河南洛阳人,中国科学院软件研究所计算机软件与理论专业博士,讲师.主要研究方向为智能计算,并行算法和大数据分析等.自2001年以来,承担了《J2EE》,《Linux》,《电子商务》,《管理信息系统》等课程教学工作.

[学术论文]

(1) A Multi-Perspective Method for Analysis of Cooperative Behaviors among Industrial Devices of Smart Factory, IEEE ACCESS, 2017,SCI,第一作者

(2) An Integrated Framework of Formal Methods for Interaction Behaviors among Industrial Equipments, Microprocessors and Microsystems: Embedded Hardware Design,39(8):2~12,SCI,第二作者

(3) A Formal Approach for Modeling and Verification of Distributed Systems, CLOUDCOMP2015, Daejeon, 2015.10.28-2015.10.29,EI,第一作者

(4) FP-MRBP: Fine-grained Parallel MapReduce Back Propagation Algorithm, 26th International Conference on Artificial Neural Networks, Alghero, 2017.9.11-2017.9.14, EI,第一作者

(5) A 3-layer Method for Analysis of Cooperative Behaviors of Physical Devices in Cyber-Physical Systems, WASA2017, 2017.6.19-2017.6.21, EI,第一作者

(6) SP-MRBP: 基于结构并行的MRBP算法,计算机研究与发展,2018,55(6),EI,中文核心,第一作者

(7) 基于零知识证明和M-H背包问题的身份识别技术研究, 软件导刊,2010.04.01, 09(4): 18~26,第二作者

(8) 多种群退火贪婪混合遗传算法, 计算机工程与应用, 2005.11.01, 23(23): 60~66,中文核心,第二作者

(9) 退火贪婪混合遗传算法,河南科学2005.12.15 23(3): 433~436,第二作者

[科研成果]

(1) 河南省重点研发与推广专项（科技攻关),大数据环境下的智能交通控制策略并行算法研究,2018/01-2019/02,在研,参加

(2) 国家自科基金（青年基金）,61603372,复杂场景下基于卷积神经网络目标跟踪算法研究,2017/01-2019/12,在研,参加

(3) 国家高科技发展计划（863计划）,2015AA01A302,高可扩展全耦合空气动力学数值模拟软件,2015.1-2016.12,已结题,参加

(4) 国家自科基金（青年基金）,61100066,物联网中可信设备协同的建模与验证方法研究,2012/01-2014/12,已结题,参加

[教研成果]

(1) 河南省大学生网上创业研究与实践,河南省社科联,2009/04-2010/04,一等奖,主持,获河南省教育科学优秀成果奖二等奖