个人简介

雷丽晖  博士，副教授。2008年在西安电子科技大学获得博士学位。2014年至2015年在美国圣何塞州立大学计算机工程系做访问学者。主持并完成国家自然科学青年基金1项，参与并完成与国家自然科学面上基金3项，主持并完成高等学校博士学科点专项科研基金资助项目2项，中央高校基本科研业务费专项资金项目2项，8188www威尼斯优秀科技预研项目3项，在Information Sciences、软件学报等国内外学术期刊上发表学术论文40余篇，获得专利2项，软件著作权3项。

学术论文

[1] Lihui Lei, S.Sengupta,,T.Pattanaik, Jerry Gao. MCloudDB: A Mobile Cloud Database Service Framework. Proceedings of the 3rd IEEE International Conference on Mobile Cloud Computing, 2015, Services and Enginerering. (EI检索)

[2] Jerry Gao.Lihui Lei, Shui Yu Li.Big Data Sensing and Service: A Tutorial. Proceedings of 2015 IEEE First International [2] Conference on Big Data Computing Service and Applications. (EI检索)

[3] Lihui Lei, Yongming Li. Verification of Dynamic Composite Web Services Under Possibility Measure. Journal of

Computational Information Systems, 2014.10(2): 859- 866. (EI检索)

[4] Lihui Lei, Yongming Li. Formal Verification of the Processor Pre-allocation Algorithm for Multiprocessor

Scheduling. Journal of Computational Information Systems, 2012,8(16):6973- 6980. (EI检索:)

[5] 雷丽晖，段振华．使用扩展区间时序逻辑为并发工作流建模. 西安电子科技大学学报，2007,34(4):673-680. (EI检索)

[6] 雷丽晖，段振华．基于扩展投影时序逻辑的组合Web 服务描述与验证．西安交通大学学报，2007,41(10): 1155-1159.(EI检索)

[7] 雷丽晖，段振华．一种基于扩展有限自动机验证组合Web服务的方法．软件学报．2007, 18(12):2980?2990.(EI检索)

[8] Lihui Lei, Zhenhua Duan and Yu Bin. Semantic Matching of Web Services for Collaborative Business Processes. Lecture Notes in Computer Science. 2007,4402,479-488. (EI检索)

[9] Lihui Lei，Zhenhua Duan. Integrating AJAX and Web Services for Cooperative Image Editing. IEEE IT Professional, 2007,9. Pages: 25-29. (EI检索)

[10] Lihui Lei, Zhenhua Duan. Transforming OWL-S Process Model into EDFA for Service Discovery. Proceedings of the International Conference on Web Services 2006 (ICWS'06), 2006,137-144. (EI检索)

软件著作权

[1] 雷丽晖，张恒. 可能性测度下的模型验证软件V1.0.中国,中华人民共和国国家版权局，登记号:2014SR033139.

主持(或参与)的项目

[1] 高等学校博士学科点专项科研基金资助项目:基于扩展模糊自动机的Web服务组合研究与实现(2010.1.-2012.12,主持)

[2] 国家自然科学基金项目:基于扩展模糊自动机的组合Web服务验证方法研究(2011.1.-2013.12,主持)

[3] 国家自然科学基金项目:把不确定性用半环来描述的计算模型、理论及其应用研究(2013.1.-2012.16,参与)

[4] 国家自然科学基金项目:基于伪半环的不确定计算模型及其应用研究(2013.1.-2015.12,参与)

[5] 中央高校基本科研业务费专项资金项目:基于扩展模糊自动机的组合Web服务形式化验证(2009.1.-2010.12,主持)

[6] 8188www威尼斯优秀科技预研项目:基于EDFA的组合Web服务验证工具(2009.1.-2010.12,主持)