-
11
2020 Aug
-
01
2019 Nov
双方共同成立“金融科技软件安全联合实验室” -
01
2019 Sept
中科天齐与大连东软信息学院完成签约,搭建网络安全人才培养体系
获第八届中国创新创业大赛宁波赛区二等奖
获中科院“国科大杯”创新创业大赛一等奖
2019宁波中小企业创新创业大赛三等奖
入选国家网络安全宣传周网络安全博览会信息技术应用创新专题展
-
01
2019 Aug
-
01
2019 Apr
入选工信部网络安全技术应用试点示范项目,大连市网络安全公共服务平台技术支撑单位 -
01
2018 Dec
获计算机学会NASAC2018命题型竞赛二等奖
获中科院第八届技术转移奖2018年最佳创业奖
-
29
2018 Nov
获宁波市“北岸精英”项目奖励 -
18
2018 Sept
成立“软件安全检测修复”产业化平台--中科天齐 -
01
2015 Apr
李炼研究员领导中国科学院计算技术研究所科研团队展开“软件代码安全智能检测平台(WuKong)”的科研攻关
-
1 北京,海淀区
北下关,双榆树
北京海淀区知春路盈都大厦C座3单元10D
- 企业服务,移动互联网
- 未融资
- 15-50人
- 北京
-
李炼
董事长
百科人物中国科学院计算技术研究所 研究员
博士生导师
中科天齐公司 董事长
李炼研究员多年来带领中科院计算所计算机体系结构国家重点实验室团队,从事负责编译、应用安全相关科研工作,通过程序分析技术来帮助提高软件系统的可靠性和安全性。其作为技术核心研发的安全测试工具Parfait、Wukong等工具已经成为包括甲骨文,国内某顶级电信制造商等公司的必备安全测试工具。
李炼研究员近年来先后在领域内顶级期刊及会议包括SOSP、FSE、ASE、CGO、TSE、TC、PACT等国际权威期刊和会议发表论文40余篇,并获得ASE19会议杰出论文奖和2020年中科院优秀导师奖。



