个人简述:

缪力，男，1972年9月生，湖南长沙人。浙江大学管理科学博士后，2014年在纽约州立大学石溪分校访问。主要研究软件测试，Hadoop性能优化技术，程序分析。

科研工作:

学术论文——[1] Li-Hui XIANG, Li Miao，Da-Fang ZHANG, Feng-Ping CHEN. Benefit of Compression in Hadoop: A CaseStudy of Improving IO Performance on Hadoop. 2014 IEEE International Conferenceon Industrial Engineering and Information Technology (EI/ISTP)[2] 向丽辉，缪力, 张大方.压缩对Hadoop性能影响研究.计算机工程与科学，2014[3] Tang Yuegao,Miao Li, Chen Fengping Peer-Comparison Based Fault Diagnosis for HadoopSystems. Parallel, Distributed, andNetwork-Based Processing 2014(EI/ISTP[4] Chen fenping Miao Li, Tang Yuegao, Research ofHadoop Parameters Tuning Based On Function Monitoring. Parallel, Distributed,and Network-Based Processing 2014(EI/ISTP)[5] Miao Li, Zhang Dafang,A New Proof For TheUndecidability of Context-Sensitive Synchronization-Sensitive Analysis, The 5thInternational Conference on Frontier of Computer Science and Technology (FCST2010) 18-22, Aug,2010, Changchun ,pp 291-296 (EI/ISTP)[6] Dan Zhao, Da-fang Zhang, Li Miao, Formal Verification of 802.11MAC Layer Handoff ProcessUsing SPIN Model Checker, Proceeding of World Congress on Software Engineering2009(WCRE’09), 19-21，May，2009 ，Xiamen，pp: 402 - 405（EI/ISTP）[7] 缪力，张大方，通信下推系统的一种有界可达算法，计算机工程与应用，2008.9 ， 44(24), pp 19-21[8] 缪力，张大方，程序模型检查的两阶段框架, 计算机应用，2007， 27.(12), pp 3089-3091[9] Li Miao, Dafang Zhang, Generate TestSequences for UML Statecharts，TheChinese Journal of Electronics，2006， 15(2)，225-230 (SCI，EI)

教育背景:

2000年获兰州理工大学硕士学位，2006年获湖南大学计算机博士学位。