Normal Computing 机器学习负责人兼资深研究科学家 · Head of ML & Staff Research Scientist, Normal Computing
Normal Computing 机器学习负责人兼资深研究科学家，公司目标是让一群智能体把芯片设计从意图一路带到优化、形式化、验证直至流片。他拥有计算机科学博士学位，此前在 Meta 做研究；团队自研了开源 Verilog 仿真器，因为商用验证工具每核约一万美元。
Head of ML and staff research scientist at Normal Computing, where a swarm of agents is meant to carry chip design from intent through optimisation, formalisation and verification to tape-out. Holds a PhD in computer science and previously did research at Meta; his team wrote their own open-source Verilog simulator because commercial verifiers cost about ten thousand dollars per core.
在 AI Podcast 查看 TA 的全部内容 →