公司介绍
技术实力
符合国家标准
资质认证
公司荣誉
      北京中科天齐信息技术有限公司是中科院计算技术研究所软件安全领域的产业化平台。中科天齐公司是在中科院计算所的大力支持下,以中科院计算所国际领先的自主研究成果“软件安全智能检测修复平台(Wukong悟空)”为基础,组建的高新技术企业。

      公司已在国内十余个城市落地分支机构,深入服务互联网、软件开发、智慧城市、金融科技等诸多重要领域。公司多年来致力于我国软件安全技术和服务能力的提升,率先在国内构建完成集科研、产业、教育、投资“四位一体”的软件安全产业体系,已成功帮助上百家行业客户有效地增强了网络安全保障能力。

      公司相关研究成果已在国际顶尖学术会议PLDI, FSE, ECOOP, CGO, SAS等会议上发表论文三十余篇,获得多项发明专利和最佳论文奖,拥有这一领域领先世界的创新技术和创新能力。同时,公司荣获全国移动互联创新大赛一等奖、中科院北京技术转移中心创业奖等多项重量级奖项。
    李炼 (研究员/博士)
    中科院计算所国家重点实验室研究员 中国科学院大学 博士生导师


    金融科技应用风险防控专委会委员
    李炼博士获澳大利亚新南威尔士大学计算机博士学位,现任中国中科院计算所国家重点实验室研究员,主要负责领导中科院计算所计算机体系结构国家重点实验室团队开展重大项目科研工作。

    李炼博士多年以来一直从事程序分析和软件安全测试方向的研究,在该方向做出了有世界影响力的成果。在中科院计算技术研究所领导开发的“软件代码安全检测修复平台wukong”在检错能力上全面超出国际同类工具、具有重大应用潜力。

    李炼博士近年来先后在ACM/IEEE Trans、FSE、ISMM、CGO、CC、PACT等国际权威期刊和会议发表论文20余篇,单篇最高他引120 次。
    案例展示