姓名：张力
职称：教授，博导
联系方式：
邮箱：Lizhang@tsinghua.edu.cn
教育背景 1995-2000 北京航空航天大学机械制造及其自动化系博士；
1978-1984 北京航空航天大学机械制造工程系学士、硕士；
工作履历 2002.7—至今，清华大学软件学院，副教授，教授，博导；
2004.8—2005.2. 美国佐治亚大学计算机系,访问；
2000.8—2002.7.清华大学计算机系博士后；
1998.9—1999.9. 香港理工大学计算学系，副研究员；
1984.7—2000.7. 北京航空航天大学，讲师，副教授；
研究领域 工业大数据和企业信息系统相关研究工作，包括：产品全生命周期管理、复杂装备运维服务、工业大数据分析、信息系统访问控制等。
研究概况 近5年作为课题负责人承担以下科研项目：
1)风电装备全寿命管理系统开发与应用，国家支撑计划课题，2012-2015；
2)复杂装备状态监测与运维服务支撑软件平台开发，国家863计划课题，2011-2013；
3)MRO支持系统核心业务构件研究及关键技术攻关，国家863计划课题，2009-2011；
4)基于Petri网和Pi演算的协同业务过程综合建模技术， 国家自然基金课题，2010-2012；
5)基于Pi演算的工作流访问控制模型及安全性验证，国家自然基金课题，2006-2009；
6)面向全生命周期的复杂产品服务数据闭环管理关键技术，国家863计划课题，2007-2009；
7)北重发电装备MRO支持系统开发和应用，横向课题，2011-2012；
8)田悦化工装备维修维护和大修(MRO)支持系统开发应用，横向课题，2011-2012；
9)唐安煤矿MRO支持系统开发与应用，横向课题，2009-2010；
奖励与荣誉 1)2011年获“清韵烛光”清华大学第四届“我最喜爱的教师”称号；
2)2013年获中国电子学会科技进步一等奖(排名第4);
3)2012年获高等学校科技进步奖一等奖 (排名第3);
4)2006年获高等学校科技进步奖二等奖 (排名第4);
学术成果 1)Ren Genquan , Han Rui , Liu Yingbo , Zhao Jiong, Jin Tao, Zhang Li, Wang Jianmin, Applying genetic algorithm to optimise personal worklist management in workflow systems, International Journal of Production Research, 2013.
2)庄雪吟，张力，翁晓奇，李虎斌，刘英博，复杂装备状态监测实时流数据处理框架，《计算机集成制造系统》，2013年；
3)曹原，张力，刘英博，状态检测数据流时间乱序问题的建模与研究，《计算机集成制造系统》，2013年；
4)张力,赵炯,贾伟昊,刘英博. 基于Petri网的位置敏感工作流建模与正确性验证方法研究，《计算机集成制造系统》，2012年；
5)赵炯，刘英博，任艮全，张力，面向工作流个人调度的仿真数据生成研究及实验平台设计，《计算机集成制造系统》，2012年；
6)Liu Yingbo, Zhang Li，Wang Jianmin，Mining workflow event log to facilitate parallel work item sharing among human resources，International Journal of Computer Integrated Manufacturing，2011；
7)Ren Genquan, Zhang Li, Wang Jianmin, Liu Yinbo ,One Method for Provenance Tracking of Product Lifecycle Data in Collaborative Service Environment; 2011 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC)，2011；
8)Li Zhang, Yahui Lu, Faye Xu，Unified modeling and analysis of collaboration business process based on Petri nets and Pi calculus，IET Software，2010。
9)Yuchen Zhang,Dong Wang,Gang Wang,Weizhu Chen,Zhihua Zhang,Botao Hu,Li Zhang，Learning click models via probit bayesian inference，the 19th ACM international conference on Information and knowledge management，Toronto, ON, Canada，2010。
10)Wang Bo，Zhang Li，He Xuliang，Study on the prediction of remaining useful life of large equipment based on the similarity metric of health index. 2010 International Conference on Mechanic Automation and Control Engineering ，2010；
11)程耀安，张力，刘英博，莫欣农，大型复杂装备MRO系统解决方案，《计算机集成制造系统》，2010年；
12)刘英博，徐云龙，张力，基于多层次模型的MRO系统建模，《计算机集成制造系统》，2010年；
13)任艮全，段君，张力，王建民，面向信息资源管理的维修BOM结构设计与分析，计算机集成制造，2010；
14)刘明，刘英博，张力，吕吉峰，一种通用维修策略描述语言，《计算机集成制造系统》，2010年；
15)任艮全，张力，王建民，产品维修阶段BOM数据起源研究，《计算机集成制造系统》.2010年；
16)Yahui Lu, Li Zhang, Jiaguang Sun. Using Colored Petri Nets to Model and Analyze Workflow with Separation of Duty Constraints. International Journal of Advanced Manufacturing Technology, 2009 ；
17)Yahui Lu, Li Zhang. Types for Workflow Access Control in Web Service Context. First International Conference on Cloud Computing, 2009；
18)Yahui Lu, Li Zhang. Domain Administration of Task-role Based Access Control for Process Collaboration Environments. Fifth International Conference on Information Assurance and Security，2009；
19)Ren Genquan,ZHang Li,Wang Jianmin., Organizing Complex Equipments' MRO Data with the BOM Structure, 2009 WASE International Conference on Information Engineering，2009；
20)Wenjie Sha, Li Zhang, Yahui Lu. Deadlock‐free Solution in Collaborative Workflow Environment. 5th International Conference on Next Generation Web Services Practices. 2009；
21)Yahui Lu，Li Zhang, Jiaguang Sun，Task-activity based access control for process collaboration environments, Computers in Industry, 2008；
22)Yahui Lu，Li Zhang, Jiaguang Sun，Types for Task-based Access Control in Workflow Systems，IET Software，2008 ；
23)Lu YH, Zhang L, Sun JG，Towards trace semantics for WS-CDL with alignments，PROCEEDINGS OF THE 23RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING ，2008 ；
24)He JM, Zhang L，Operating Guidelines for BPEL Business Process Based on Pi Calculus，PROCEEDINGS OF 2008 INTERNATIONAL PRE-OLYMPIC CONGRESS ON COMPUTER SCIENCE, 2008；
25)Ma SL, Zhang L，He JM，Towards formalization and verification of unified business process model based on Pi calculus，International Conference on Software Engineering Research, Management and Applications, 2008；
26)Fei Xu, Li Zhang，Unified Modeling and Analysis based on Petri nets and Pi calculus, TASE 2007, IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China，2008；
27)Li Zhang，Fei Xu, Zhiwei Yu Workflow Verification Method Based on Pi Calculus，TASE 2007, 2007;
28)Qing Ye, Li Zhang. Improve Recommendation by Trust Mechanism: From Perspective of Web 2.0. The Second International Conference on Innovative Computing, Information and Control, 2007。
29)Rui Sun, Ke Xu, Zhao Li, Li Zhang, “A Strategyproof Protocol in Mesh-based Overlay Streaming System”. Advances in Multimedia Modeling A strategyproof protocol in mesh-based overlay streaming system LECT NOTES COMPUT，2007；
30)Fei Xu, Li Zhang. Collaboration Business Processes Modeling Based on Petri Nets and Pi calculus. In Proceeding of IMECS 2007. Hong Kong。LECT NOTES ENG COMP，2007
31)Yahui Lu and Li Zhang and Jiaguang Sun and Yinbo Liu，Using Pi-Calculus to Formalize Domain Administration of RBAC，The 2nd Information Security Practice and Experience Conference (ISPEC 2006)，LECTURE NOTES IN COMPUTER SCIENCE，2006;
32)Yahui Lu, Li Zhang, Yinbo Liu, Jiaguang Sun. A Distributed Domain Administration of RBAC Model in Collaborative Environments，CSCW 2006;
33)Li Zhang, Zhiwei Yu，"Web Process Dynamic Stepped Extension: Pi calculus based Model and Inference Experiments". CoopIS/DOA/ ODBASE 2005, LNCS 3760，2005；
34)Liao X, Zhang L，"A task-oriented access control model for WfMS" INFORMATION SECURITY PRACTICE AND EXPERIENCE LECTURE NOTES IN COMPUTER SCIENCE，2005;