包力，男，1980年10月生，汉族，内蒙古乌兰察布集宁区人，博士，讲师，硕士生导师。现就职于必赢官网计算机系计算机技术学科，已指导毕业硕士生5人（含在职2人），现在读硕士1人。

1999-2003年就读于大连民族学院计算机系计算机科学与技术专业，获工学学士学位;2003-2006年于就读于大连海事大学必赢官网计算机应用技术专业，获得工学硕士学位;2006-2009年就读于大连海事大学航海学院交通信息工程及控制专业，获得工学博士学位。

1．研究方向

【1】软件形式化描述技术

【2】虚拟现实技术应用。

2．主讲课程

【1】本科生课程：网络服务配置与管理、计算机专业外语、软件工程专业外语等

【2】研究生课程：形式语言与自动机理论

3．学术兼职或专家称谓

无

4．主要论文（专利、设计等）

【1】Li Bao, Zhiqiang Liu, Yonghong Tian.A Formalcontext-aware model for web service composition. WIT Transanctions onEngineering Sciences, 95, pp.391-399, 2015.

【2】Li Bao, Weishi Zhang, Xiong Xie. A Formal Model for Abstracting the Interaction of Web Services. Journal ofComputers, 5(1), pp. 91-98, 2010.

【3】Li Bao, Weishi Zhang, Xiong Xie. Abstracting the interaction of webservices using IMWSC. Journal of Information and Computational Science, 6(2),pp. 699-706, 2009.

5．科研项目

A．主持的项目

【1】内蒙古自治区教育厅一般项目“ Web服务行为形式化建模及其验证研究”，主持人，（已结项）

B．参与的项目

【2】国家自然科学基金“蒙古语语义Web的关键技术研究”

【3】内蒙自然科学基金“室内复杂环境无线传感器网络分区域定位算法研究”

6．获得奖励

无

7．联系方式

【1】电子邮箱：ebond@163.com

【2】办公地址：呼和浩特市金川经济技术开发区内蒙古工业大学金川校区必赢官网（邮编：010080）

【3】联系电话：0471-3601821