中国政信(政务)综合服务第一品牌
政府一站式 全过程 专家联盟共建在线服务平台
保就业 稳民生 促发展 定制解决方案
搭建政府云服务平台 为城市发展服务
中国科学院学部
计算机程序的形式语义学及形式化方法的研究
1982年毕业于福州大学计算机科学系,1986年获中国科学院软件研究所博士学位