上海同济大学副校长、博士生导师。

        被聘为国家自然科学基金委信息学部专家、国家信息产业部十一五规划专家、中科院信息技术预见专家、教育部教指委委员、专业认证专家组成员、上海市技术预见专家、上海市计算机领域专家、IEEE上海分会副主席、中国自动化学会常务理事、中国人工智能学会理事、中国计算机学会Petri网专业委员会副主任、上海市计算机学会常务理事等。

        长期从事并发理论、形式化方法与大规模信息服务的工程应用研究工作。作为项目负责人先后承担了国家自然科学基金（重大计划、重点、面上）、973计划、863计划和国际重点合作项目等50余项，申请发明专利20余项（已获授权2项），获软件著作权2项。