望安科技

Pre-A轮浙江省2019年06月
AI与形式化为核心提供开发合规解决方案
项目推荐
官方网址:https://www.wonsec.com
编辑维护

项目简介

浙江望安科技有限公司是以“形式化验证”和“安全认证”为核心的网络与信息安全产品和服务提供商。望安科技致力于为国家重大项目、关键系统和行业企业提供安全保障,安全产品及服务面向航空、航天、国防、轨道交通、区块链、物联网、工业控制、芯片设计、操作系统、数据库等重大行业。望安科技依托形式化验证核心技术,已拥有多项形式化技术专利、软著,自研多款形式化验证工具。公司核心技术和工具已应用于载人航天工程、中航工业集团、航天科技集团、航天科工集团、中国军事科学院、中国信科、小米科技、中国移动、中科海微、元心科技等,覆盖国家重点行业及企业。

融资历史

融资轮次融资时间融资金额投资方
Pre-A轮
2026-10
未透露
粤科金融集团
天使轮
2024-05
千万级人民币

工商信息

工商全称浙江望安科技有限公司英文全称Zhejiang Wangan Technology Co., Ltd.
法定代表人陈建明成立时间2019-06-04
注册地址浙江省绍兴市柯桥区齐贤街道柯桥经济技术开发区西环路586号科创大厦B座1409-1413
股东(发起人)
持股比例
认缴出资额
认缴出资日期
绍兴望书安科技有限公司
21.2308%
230万元人民币
2029-06-30
嘉兴越安边界企业管理合伙企业(有限合伙)
18.4615%
200万元人民币
2029-06-30
赵永望
18.4615%
200万元人民币
2029-06-30
查看更多

团队成员

赵永望
董事长&经理
‌赵永望‌是是浙江大学教授、博士生导师。他主要研究方向包括系统安全、形式化验证和编程语言等,并主持和参与了多项国家自然基金重点项目、工信部重大专项和载人航天工程重点项目等‌。

36氪报道

近日,浙江望安科技宣布完成千万级天使轮融资,投资方为深创投集团。本轮资金将用于研发投入、拓宽市场布局等方面。望安科技是一家网络信息安全产品及服务提供商,专注于提供以“形式化验证”和“安全认证”为核心的网络与信息安全产品和服务。(望安科技)

行业资讯

都是世界的错?
这样设置 Mac,你会爱上它。
从人员构成看,CARIAD 软件公司成色不足。
查看更多

认证成员

我要认证

认证成员可维护项目信息,并可享合作对接权益

暂无认证用户