个人简述:

理学博士，博士后，副教授，博士生导师，国际电气和电子工程师协会高级会员（IEEE SENIOR MEMBER）。2003年7月毕业于重庆大学计算机系，获工学学士学位。2008年7月毕业于北京大学信息学院计算机软件与理论专业，获理学博士学位。2006-2007年在微软亚洲研究院理论组从事分布式算法性能分析的研究，2013年在美国新泽西理工学院周孟初教授（IEEE FELLOW）处进行访问研究。

科研工作:

师从于中国最早进行Petri网研究的著名学者，北京大学袁崇义教授。在博士期间参与了北京大学梅宏院士主持的973项目“基于知识的网构软件需求建模理论和方法研究”、863项目“基于正确性验证的web服务可信性研究”，由于研究工作的开创性和重要性，于2008年获得北京大学“学术精英”奖。在微软亚洲研究院理论研究组从事可信容错网络协议和算法研究期间，相关工作作为微软亚洲研究院核心技术报告（Wei Chen, Xuezheng Liu, Yunni Xia, and Lidong Zhou. Quorum-based perfect failure detection Service. Technical Report MSR-TR-2009-62, Microsoft Research, May 2009）收录。同时，在可信软件构架、Petri网验证、云计算、SOA计算构架领域已有多年的研究经验，因在相关工作的出色成果于2012年被推选为中国计算机协会PETRI网专委会委员，是当年最年轻的委员之一。2015年被推选为国际电气和电子工程师协会高级会员（IEEE SENIOR MEMBER）。最近两年，他在云服务PETRI网可信性建模与验证，尤其是在绿色云计算和可信WEB服务研究上做出了具影响力和开创性的工作，部分成果得到国际同行的认可，并被许多国家的科研单位在实际科研工作中引用。发表学术论文总计29篇，其中已发表或接收国际期刊论文18篇（第一作者IEEE TRANSACTION期刊文章5篇，均为信息与计算机科学的顶级国际期刊，可被SCI检索的其他期刊文章16篇）。国际会议论文9篇（IEEE/ACM会议文章9篇可被EI检索期刊文章15篇，其中软件可靠性领域的顶级会议QSIC两篇，控制自动化领域顶级会议CASE一篇，软件工程形式化领域知名会议TASE两篇，服务计算领域知名会议SOSE两篇，网络领域知名会议APWEB一篇）。上述发表的文献，实现了超过40次的SCI他引。连续两次受到国家自然科学基金项目的支持，并成为学院历史上最年轻的国基面上项目获得者。