个人简历

学术成果
在国际学术期刊和国际学术会议上发表学术文章50余篇‚目前承担项目国家和上海市项目2项‚参与国家973‚863项目2项。
教育部自然科学一等奖（2011）
上海市科技启明星 （2007）
北京大学学术创新奖 （2004）

研究领域

程序分析‚软件验证‚基于Web的工作流建模""
1．执行委员会委员‚ 2006 国际复杂计算机系统学术会议（IEEE International Conference on Engineering of Complex Computer Systems‚ 2006）
2．组织委员会主席‚2007 国际软件工程理论大会（IEEE & IFIP International Symposium on
Theoretical Aspects of Software Engineering‚2007）
3．执行委员会主席‚2007 国际协调理论的软件支撑工具大会（International Workshop on
Harnessing Theories for Tool Support in Software‚2007）