刘靖，男，教授，博士生导师。2011年博士毕业于中国科学院计算技术研究所。2014年9月至2015年8月在澳大利亚墨尔本大学云计算实验室从事访问学者研究。主要研究方向为云计算与大数据分析技术、软件容错技术、软件测试方法、形式化方法等。主持并参与多项国家级和自治区级自然科学基金项目。在《IEEE Transactions on Services Computing》《计算机学报》《软件学报》等领域顶级期刊及IEEE ICWS/ ICPADS/ COMPSAC/ CLOUD等领域重要国际会议上发表高水平学术论文，累计发表SCI/EI检索论文40余篇，获2016年度内蒙古自治区自然科学奖三等奖、内蒙古自治区第十届高校青年教师教学大赛二等奖、十大赌博靠谱信誉的平台“教坛新秀”及“最美教师”荣誉称号。是“蒙古文智能信息处理技术”国家地方联合工程研究中心、“生态大数据”教育部工程研究中心（培育）、内蒙古自治区“云计算与服务软件”工程实验室、内蒙古自治区“云计算与软件工程”科技创新团队的骨干成员。

每年拟收招1名博士生（计算机科学与技术），2名学术型硕士（软件工程），2名专业型硕士（软件工程 或 计算机技术）。

Email：liujing@imu.edu.cn

主持项目：

1、基于软件抗衰与检查点技术的云应用系统主动容错服务方法研究（61662051），国家自然科学基金项目，2017.1 ~ 2020.12；

2、Petri网模型驱动的SaaS型云测试方法及支撑平台研究（61262017），国家自然科学基金项目，2013.1 ~ 2016.12；

3、基于Petri 网模型的区块链智能合约形式化建模及验证方法研究（2019MS06007），内蒙古自然科学基金面上项目，2019.9 ~ 2021.12；

4、移动Web服务系统的云测试方法研究（2015MS0611），内蒙古自然科学基金面上项目，2015.1 ~ 2017.12。

代表性期刊论文：

1.    McTAR: A Multi-trigger Checkpointing Tactic for Fast Task Recovery in MapReduce. IEEE Transactions on Services Computing, Early Access, 2019.（CCF推荐B类期刊）

2.    A Survey on Security Verification of Blockchain Smart Contracts. IEEE Access, Vol.7: 77894-77904, 2019.（SCI二区）

3.    Integrating Artificial Bee Colony Algorithm and Artificial Neural Network for Software Aging Prediction in IoT Environment. IEEE Access, Vol.7: 32941-32948, 2019.（SCI二区）

4.    面向云应用系统的容错即服务优化提供方法. 软件学报, Vol.30(4): 1191-1202, 2019.

5.    基于SOM神经网络的二阶变异体约简方法研究. 软件学报, Vol.30(5): 1464-1480, 2019.

6.    PN4TS：一种基于CPN模型的IOCO测试选择方法, 计算机学报, Vol.37(12): 2451-2463, 2014.

代表性会议论文：

1.    CSSAP: Software Aging Prediction for Cloud Services Based on ARIMA-LSTM Hybrid Model. Proc. of the IEEE 26th International Conference on Web Services (ICWS 2019): 283-290, Jul. 2019.（CCF推荐B类会议）

2.    Efficient Bus Arrival Time Prediction Based on Spark Streaming Platform. Proc. of the IEEE 23rd International Conference on Computer Supported Cooperative Work in Design (CSCWD 2019): 416-421, May. 2019.（CCF推荐C类会议）

3.    How to Buy Cloud Resource Better for IaaS User: From the Perspective of Cloud Elasticity Testing. Proc. of the IEEE 24th International Conference on Parallel and Distributed Systems (ICPADS 2018): 110-117, Dec. 2018.（CCF推荐C类会议）

4.    FEMCRA: Fine-grained Elasticity Measurement for Cloud Resources Allocation. Proc. of the IEEE 11th International Conference on Cloud Computing (CLOUD 2018): 732-739, Jun. 2018.（CCF推荐C类会议）

5.    FATDOG: Hadoop based Test Data Generation Tool for RESTful Web Service. Proc. of the IEEE 41st Annual Computer Software and Applications Conference (COMPSAC 2017): 280-281, Jul. 2017.（CCF推荐C类会议）

6.    Software Rejuvenation based Fault Tolerance Scheme for Cloud Applications. Proc. of the IEEE 8th International Conference on Cloud Computing (CLOUD 2015): 1115-1118, Jun. 2015.（CCF推荐C类会议）

公司产品情况：

已毕业学硕8人、专硕8人，主要去向为：东南大学攻读博士学位、阿里平台事业部、北京农行数据中心、中国移动杭州研究院、内蒙古恒泰证券、中国银联内蒙古分公司、中科院成都文献情报中心、国网内蒙古东部电力等单位。