我们的队伍

内特苏亚雷斯
执行董事

内特苏亚雷斯领导MIRI的研究项目。金宝博娱乐他于2014年以研究员的身份加入MIRI，并凭借其战略洞察力和高生产金宝博娱乐率迅速获得了很高的声誉。内特是大部分MIRI的主要作者代理基金会技术议程，包括概述文档”将机器智能与人类兴趣相结合的代理基础“（2014）和”可订正“（2015）。在Miri之前，Nate曾在谷歌担任软件工程师。

Malo Bourgon.
首席运营官

Malo Bourgon.（电子邮件)监督MIRI的日常运作和项目活动。在成为首席运营官之前，Malo曾在MIRI担任项目管理分析师，帮助实施MIRI目前的许多系统、流程和项目活动。金宝博官方他还担任IEEE人工通用智能和人工超级智能安全与效益委员会的联合主席。马洛在圭尔夫大学(University of Guelph)获得工程学硕士学位后不久，于2012年加入MIRI。

以利以谢Yudkowsky

以利以谢Yudkowsky（电子邮件）是一个决策理论家，他们被广泛引用了他对人工智能的长期未来的着作。他对AI的社会和哲学意义的看法对该领域的持续辩论产生了重大影响，并且作为Miri的高级研究员，他在数学逻辑中的工作重塑Miri的研究议程。金宝博娱乐他是作者剑桥人工智能手册章节 ”人工智能的伦理与尼克·博斯特罗姆(Nick Bostrom, 2014年)合作，并写了许多关于人类理性科学的通俗介绍。

Benya Fallenstein.

Benya Fallenstein.以人体目标对齐高级AI系统挑战提出的基本理论问题。金宝博官方这些包括决策和游戏 - 理论问题，当人工代理的原因是他们的环境中未来版本的理由或环境中的其他强大的代理商。自2014年加入研究团队以来，她花了金宝博娱乐时间发展逻辑不确定性的模型（不确定性，数学陈述是真实的，在高阶定理证明系统中的自我参考，以及安全AI目标的规范。金宝博官方贝尼亚从维也纳大学举行了一个学士学位。

斯科特Garrabrant

斯科特Garrabrant（电子邮件）从UCLA学习理论计算机科学对统称组合的应用中的数学博士学位。他的主要研究区是逻金宝博娱乐辑不确定性，他是“主要作者”逻辑归纳(2016)，一种高度通用的分配逻辑句子概率的方法。他还对逻辑不确定性和反事实的其他方面感兴趣。

Sam Eisenstat.

Sam Eisenstat.（电子邮件)研究的问题与推理和代理的基础有关。他在滑铁卢大学学习纯数学，在那里他进行了数理逻辑的研究。金宝博娱乐在加入MIRI之前，他在谷歌从事深度学习模型的自动构建工作。他目前研究的是逻辑不确定性，特别是探索当前的逻辑不确定性理论和贝叶斯推理之间的类比。他还从事决策理论和反事实的研究。

Tsvi Benson-tilsen

Tsvi Benson-tilsen（电子邮件)的研究建立在理性代理的基础上，包括逻辑不确定性、逻辑反事实、反射性稳定决策，以及人工智能校准的其他问题。在加入MIRI成为全职研究员之前，他参与了金宝博娱乐逻辑归纳”。Tsvi持有芝加哥大学数学荣誉学士学位，目前正在加州大学伯克利分校逻辑与科学方法论博士项目休假。Tsvi于2017年6月加入MIRI。

亚伯兰Demski

亚伯兰Demski（电子邮件)目前正在南加州大学完成计算机科学博士学位。迄今为止金宝博娱乐，他的研究主要集中在认知架构和人工通用智能方面。他感兴趣的是填补存在于形式理性理论中的空白，特别是那些与人类在半形式地推理数学时的行为有关的空白。

Jesse Liptrap.

Jesse Liptrap.（电子邮件）在2017年加入Miri，在谷歌的软件工程师上花费四年后，在知识图表上工作。以前他在UC Berkeley担任生物信息学家。他从CALTECH举办了一个BS和来自UC SANTA BARBARA的数学博士学位，他研究了拓扑量子计算的类别 - 理论底层。

尼克塔尔顿

尼克塔尔顿（电子邮件)在搜索初创公司Quixey担任了数年首席架构师后，加入了MIRI。他曾在MIRI的夏季研究员项目的第一次迭代中与之合作，研究高级人工智能目标系统的结果。金宝博官方Nick在卡内基梅隆大学学习计算机科学和决策科学。

Ben Weinstein-Raun

Ben Weinstein-Raun（电子邮件)之前曾在Cruise Automation担任两年的软件工程师，在该公司的规划和预测团队工作。他之前在Counsyl公司的自动化基因组实验室工作，并帮助在弗吉尼亚州布莱克斯堡创建了黑客空间Hacksburg。他拥有弗吉尼亚理工大学计算机工程专业的学士学位。

爱德华Kmett

爱德华Kmett是一个众所周知的Haskell开发人员，以推广使用镜头在函数式编程中。Edward维护着Haskell核心库的大量库，包括自动区分、分类理论、图形学、SAT绑定、RCU方案、编写编译器的工具等等。在加入MIRI之前，Edward曾在S&P Global和国防/航空航天公司SM&A工作，并在Digital Asset从事DAML智能合同语言的工作。在东密歇根大学的三年时间里，他获得了数学和计算机科学的双学士学位，生物信息学和人工智能的研究生证书，数学硕士(一个学期)和计算机科学硕士。

詹姆斯付款人

詹姆斯付款人（电子邮件)在为软件初创公司Draftable工作了三年之后，加入了MIRI。此前，他曾在麻省理工学院学习数学和计算机科学。他在国际奥林匹克信息学竞赛中获得一枚银牌，这是世界上最负盛名的计算机科学竞赛之一。

Jeremy Schlatter

Jeremy Schlatter 是一个以前在谷歌和Openai工作的软件工程师以及其他硅谷科技公司。一些他有贡献的一些公共项目OpenAI的《Dota 2》机器人A.调试器为Go编程语言。Jeremy拥有圣路易斯华盛顿大学的计算机科学学士学位。

雷夫肯尼迪

雷夫肯尼迪 在有效的利他主义酒店工作后加入Miri后，担任独立存在的风险研究员。金宝博娱乐以前，他作为一名软件工程师，在数据科学启动Nstack和作为英语老师。他在物理和哲学中占据了牛津大学的绵羊。

Evan Hubinger

Evan Hubinger（电子邮件）在加入Miri之前是Openai的A金宝博娱乐I安全研究实习生。他的目前的工作旨在解决内部对齐为了迭代放大．Evan是一个作者“高级机器学习系统中学习型优化的风险金宝博官方，“以前是一名Miri实习生，设计了功能规划语言椰子，并在Google，Yelp和Ripple下完成软件工程工作。埃文研究了Harvey Mudd College的数学和计算机科学。

卡佳恩典
金宝博娱乐研究人工智能的影响

卡佳恩典（电子邮件)有助于ai影响一个独立的研究项目，专注于与人工智金宝博娱乐能结果相关的社会和历史问题。她的分析包括“六个域中的算法进展”(2013)。她写博客Meteuphoric，有时是Carnegie Mellon University的逻辑，计算和方法的博士学位。

斯图尔特阿姆斯特朗

博士数学，牛津
金宝博娱乐人文未来研究所研究员

Ramana Kumar.

博士计算机科学，剑桥
金宝博娱乐研究科学家，谷歌深渊

Vanessa Kosoy.

特拉维夫大学数学理学士
算法工程师，独立技术

Colm O Riain
增长

Colm O Riain（电子邮件）协调慈善战略和招聘以支持Miri的增长计划。After 15 years working in the video game industry at companies including Electronic Arts and Activision, he moved into philanthropy work at Zynga.org and Harmony Project before joining MIRI in July 2016. He has a master’s degree in AI from the University of Rochester and a joint honours bachelor’s in Mathematics and Computer Science. Colm is also a professional violinist and composer.

吉米林杰玛
财务和人力资源

吉米林杰玛（电子邮件）人力资源和财务适用于Miri。此前，他管理了Miri的数字基础架构，确保网站，软件工具和系统顺利进行。金宝博官方Jimmy于2014年加入Miri，并在加拿大安大略省远程作品。

邓肯萨比恩
操作

邓肯萨比恩（电子邮件）是作家，老师，视频学家和跑酷的从业者。他在中等程度教育中有一个背景，以前曾担任应用合理性中心的课程主任。他想将宇宙留下明显不同于他发现它，并且很容易被人们引用操纵安德的游戏．

巴克Shlegeris
招聘

巴克Shlegeris（电子邮件)在加入MIRI之前，曾在PayPal担任软件工程师，是Triplebyte的第一个员工。他曾就读于澳大利亚国立大学，主修计算机科学，辅修数学和物理，并在行业会议上发表了关于数据结构合成的工作。

Jan Leike.

对齐团队领导，OpenAI

克里斯汀彼得森

创始人的远见研究所

杰德McCaleb

恒星发展基金会联合创始人

斯图尔特罗素

UC Berkeley教授
董事，人类兼容AI中心
作者,人工智能：一种现代方法

布莱克Borgeson导演

Cofounder，递归药物

安娜班子导演

总统，应用理性中心

以利以谢Yudkowsky导演

MIRI高级研金宝博娱乐究员

埃德温·埃文斯椅子

创始人之一,林肯全球

内特苏亚雷斯导演

执行董事,米里