长期从事并发理论、形式化方法与大规模信息服务的工程应用研究工作。作为项目负责人先后承担了国家自然科学基金(重大计划、重点、面上)、973计划、863计划和国际重点合作项目等50余项,申请发明专利20余项(已获授权2项),获软件著作权2项。在《中国科学》、《IEEE Transactions on Robotics & Automation》、《IEEE Transactions on Fuzzy Systems》、《IEEE Transactions on Systems, Man, and Cybernetics Part A》、《IEEE Transactions on Systems, Man, and Cybernetics Part B》和《IEEE Transactions on Systems, Man, and Cybernetics Part C》等国内外重要学术刊物上发表论文180篇,SCI和EI收录80余次,他人引用100余次,出版学术专著4部(中科院科学出版基金等支持);1997 年获得DEDS领域何潘清漪奖1项,2008年教育部科技进步一等奖(第1位)等其它省部级科技成果奖6项,2009年上海市教学成果一等奖(第1 位)。
先后获得全国首届百篇优秀博士论文(1999年)、高校青年教师奖(2001年)。入选国家杰出青年科学基金(2001年)、教育部优秀创新团队负责人(2007年)、教育部优秀青年教师教学科研奖励计划(2001年)、上海市领军人才计划(2009年)、上海市优秀学科带头人计划(2004年)、上海市曙光计划(2000年)及其跟踪计划(2008年)等。