程序分析‚软件验证‚基于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）

• 在国际学术期刊和国际学术会议上发表学术文章30余篇‚目前承担项目国家和上海市项目2项‚参与国家973‚863项目2项。
• 上海市科技启明星 （2007）
• 北京大学学术创新奖 （2004）