个人资料
教育经历工作经历个人简介社会兼职1.执行委员会委员‚ 2006 国际复杂计算机系统学术会议(IEEE International Conference on Engineering of Complex Computer Systems‚ 2006) 2.组织委员会主席‚2007 国际软件工程理论大会(IEEE & IFIP International Symposium on 3.执行委员会主席‚2007 国际协调理论的软件支撑工具大会(International Workshop on 研究方向程序分析‚软件验证‚基于Web的工作流建模 招生与培养开授课程科研项目学术成果
荣誉及奖励 |