奇链 奇链
发现 / Dirk Englund
D

Dirk Englund

CSO @ Axiomatic AI, Professor @ MIT EECS

基本信息

所在地
波士顿
头衔/职位
CSO @ Axiomatic AI, Professor @ MIT EECS

人物简介

Dirk Englund 是 Axiomatic AI 的首席科学官（CSO），同时担任 MIT 电气工程与计算机科学（EECS）教授，研究方向为量子技术与 AI 加速。

任职与创立

A
Axiomatic 就职
Axiomatic 是一家专注于形式化验证和自动推理的AI公司，致力于开发基于数学证明的AI Agent，用于解决工程、科学和数学领域的复杂问题。
M
MIT Electrical Engineering and Computer Science 就职

相关人物

K
Kavitha Buddharaju
同属 Axiomatic
L
Leopoldo Sarra
同属 Axiomatic