Avner Landver
SVTR 市场位置
数据快照 2026-11-03- 创投人物信号榜已上榜共 4,095↓26
大厂
工作经历
- VerifAIX联合创始人2024–
- 国际商业机器公司形式化验证方法与部署负责人
- VerplexDirector of Engineering
- Cadence Design SystemsGroup Director, Incisive Formal
- 英特尔Formal Verification Manager
- Apple Inc.VLSI 工程岗
教育背景
- 威斯康星大学麦迪逊分校博士 · 数理逻辑
完整简介
威斯康星大学麦迪逊分校数理逻辑博士，长期从事形式化与断言验证。曾在Intel海法建立Centrino处理器形式化验证团队并主导定义ForSpec（后为SystemVerilog Assertions标准基础），历任Cadence Incisive Formal产品线负责人与Apple VLSI岗位。
最近动向
近 90 天有 1 条已核实动向 · Intelligence 会员可见
本人在职公司的已核实融资，来自 SVTR AI 创投库。
最近动态
- 09-18人物英特尔资本 系 12 位 AI 人才履历更新
关系图谱
机构 / 雇主· 3
学校· 1