我们的团队

领导能力

内特·苏亚雷斯

内特·苏亚雷斯
执行主任

内特·苏亚雷斯负责MIRI的研究项目。亚博体育官网他于2014年作为研究员首次加入MIRI,亚博体育官网迅速赢得了他的战略洞察力和高生产力的强烈声誉。Nate是大多数MIRI的主要作者 代理基金会技术议程,包括概览文件“ 机器智能与人类利益对齐的代理基础“(2014)和“ 正确性“(2015)。在MRI之前,内特在谷歌做软件工程师。
马洛堡

马洛堡
首席业务干事

马洛堡电子邮件监督MIRI的日常运作和项目活动。在成为首席运营官之前,马洛曾在MIRI担任项目管理分析师,帮助实施MIRI的许多当前系统,亚博体育苹果app官方下载过程,以及项目活动。他还共同主持了IEEE的人工通用智能和人工超智能安全和效益委员会。马洛在完成圭尔夫大学工程学硕士学位后不久,于2012年加入MIRI。

亚博体育官网研究人员

埃利泽

埃利泽

埃利泽电子邮件他是一位决策理论家,因其关于人工智能的长期未来的著作而被广泛引用。他关于人工智能的社会和哲学意义的观点对该领域正在进行的辩论产生了重大影响,作为MIRI的高级研究员,亚博体育官网他在数学逻辑方面的工作极大地影响了MIRI的研究议程。亚博体育官网他是 剑桥人工智能手册章“ 人工智能伦理“与尼克·博斯特罗姆(2014年),并且写了许多关于人类理性科学的通俗介绍。
本亚·法伦斯坦

本亚·法伦斯坦

本亚·法伦斯坦致力于解决高级人工智能系统与人类目标协调一致的挑战所提出的基本理论问题。亚博体育苹果app官方下载这些包括决策和博弈论问题,当人工代理人为自己或他人的未来版本进行推理时,在他们的环境中同样强大的代理。自2014年加入研究小组以来,亚博体育官网她花时间研究逻辑不确定性模型(不确定性数学陈述是否正确),高阶定理证明系统中的自参照,亚博体育苹果app官方下载以及安全AI目标的规范。Benya拥有维也纳大学数学学士学位。
斯科特·加拉布兰特

斯科特·加拉布兰特

斯科特·加拉布兰特电子邮件他获得加州大学洛杉矶分校的数学博士学位,研究理论计算机科学到枚举组合学的应用。他的主要研究领域是亚博体育官网逻辑不确定性,他是“ 逻辑归纳“(2016)一种为逻辑句子分配概率的高度通用的方法。他还对逻辑不确定性和反事实的其他方面感兴趣。
山姆·艾森斯特

山姆·艾森斯特

山姆·艾森斯特电子邮件处理有关推理和代理基础的问题。他在滑铁卢大学学习纯数学,在那里他进行了数学逻辑的研究。亚博体育官网在加入MIRI之前,他在谷歌从事深层学习模型的自动构建。他目前正在研究逻辑上的不确定性,特别是探索逻辑不确定性理论与贝叶斯推理之间的类比。他还做了决策理论和反事实方面的工作。
阿布拉姆·德姆斯基

阿布拉姆·德姆斯基

阿布拉姆·德姆斯基电子邮件他目前正在南加州大学攻读计算机科学博士学位。到目前为亚博体育官网止,他的研究主要集中在认知结构和人工智能上。他有兴趣填补形式理性理论中存在的空白,尤其是那些关注人类在半正式地进行数学推理时所做的事情的人。
杰西·利普特拉普

杰西·利普特拉普

杰西·利普特拉普电子邮件在Google担任软件工程师四年后,于2017年加入MIRI,研究知识图。此前,他在加州大学伯克利分校担任生物信息学家。他拥有加州理工学院的数学学士学位和加州大学圣芭芭拉分校的数学博士学位,他研究了拓扑量子计算的范畴理论基础。
尼克·塔尔顿

尼克·塔尔顿

尼克·塔尔顿电子邮件在搜索初创公司Quixey担任首席架构师几年后,加入MIRI。他曾在MIRI暑期研究员项目的第一次迭代中与MIRI一起工作,研究提出的高级人工智能目标系统的结果。亚博体育苹果app官方下载尼克在卡内基梅隆大学学习计算机科学和决策科学。
巴克·施莱格里斯

巴克·施莱格里斯

巴克·施莱格里斯电子邮件在加入MILI之前,在PayPal担任软件工程师,并且是Triplebyte的第一个员工。他曾就读于澳大利亚国立大学,主修计算机科学,辅修数学和物理,他还在工业会议上介绍了数据结构综合方面的工作。
本·温斯坦-劳恩

本·温斯坦-劳恩

本·温斯坦-劳恩电子邮件之前在Cruise Automation做过两年的软件工程师,他在规划和预测小组工作。他之前在律师事务所自动化基因组实验室工作,帮助找到了哈克斯堡,布莱克斯堡的黑客空间,Virginia。他拥有弗吉尼亚理工大学的学士学位,他在那里学习计算机工程。
爱德华·克梅特

爱德华·克梅特

爱德华·克梅特是著名的Haskell开发人员,以推广使用 镜头在函数式编程中。Edward在Haskell核心库周围维护了大量库,涵盖了从自动微分到范畴理论到图形的所有内容,SAT绑定,RCU方案,用于编写编译器的工具,还有更多。在加入MIRI之前,爱德华在标准普尔全球和国防/航天公司SM&A工作,在Digital Asset工作过DAML智能合同语言。在东密歇根大学任教三年,他获得了数学和计算机科学双学士学位,生物信息学和人工智能研究生证书,M.A.数学(一个学期)和硕士学位。在计算机科学中。
本森-蒂尔森

本森-蒂尔森

本森-蒂尔森电子邮件以理性代理为基础,包括逻辑不确定性,逻辑反事实,以及反映稳定的决策,以及人工智能对准的其他问题。在加入MIRI成为全职研究员之前,亚博体育官网他合作“ 逻辑归纳“.Tsvi拥有芝加哥大学数学学士学位,加州大学伯克利分校逻辑与科学方法学博士班休假。茨维于2017年6月加入MIRI。
卡贾·格雷斯

卡贾·格雷斯
亚博体育官网研究员,人工智能影响

卡贾·格雷斯电子邮件(贡献) 人工智能影响,一个独立的研究项目,专注于与人亚博体育官网工智能结果相关的社会和历史问题。她的分析包括“ 六领域算法进展“(2013)。她写博客 气象的,有时是逻辑学博士生,计算,卡内基梅隆大学的方法学。

我们正在招聘!!

了解更多加入我们成长团队的机会在这里,或者写信getinvol.@..org.

一般询问,写信给我们.@..org.

亚博体育官网研究助理

斯图尔特·阿姆斯特朗

斯图尔特·阿姆斯特朗

数学博士,牛津
亚博体育官网研究员,人文学院的未来
拉玛纳·库马尔

拉玛纳·库马尔

计算机科学博士,剑桥
亚博体育官网研究科学家,Google DeepMind
瓦迪姆·高豆

瓦迪姆·高豆

数学学士,特拉维夫大学
算法工程师,循环技术

重点顾问

维多利亚·克拉科夫娜

维多利亚·克拉科夫娜

共同创始人,未来生命研究所
亚博体育官网研究科学家,Google DeepMind
斯图尔特·罗素

斯图尔特·罗素

教授,加州大学伯克利分校
主任,人类兼容人工智能中心
作者,, 人工智能:一种现代方法
克里斯蒂娜·皮特逊

克里斯蒂娜·皮特逊

创始人,前瞻学会
巴特·塞尔曼

巴特·塞尔曼

教授,康奈尔大学

董事会

布莱克·博格森

布莱克·博格森主任

共同创始人,递归药品
安娜·萨拉蒙

安娜·萨拉蒙主任

主席:应用理性中心
埃利泽

埃利泽主任

高级研究员,亚博体育官网米里
埃德温·埃文斯

埃德温·埃文斯椅子

共同创始人,全球林肯公司
内特·苏亚雷斯

内特·苏亚雷斯主任

执行主任,米里