我们的队伍

领导

内特·苏亚雷斯

内特·苏亚雷斯
执行董事

内特·苏亚雷斯负责MIRI的研究计划。金宝博娱乐他在2014年首次加入MIRI担任研究员,迅速赢得了他的战略眼光和高金宝博娱乐生产率的良好声誉。内特是大多数的主要作者MIRI的剂基础技术议程,包括概述文件“代理基础对准机器智能与人类利益”(2014)和“可以驯服”(2015)。此前美里,奈特曾在谷歌的软件工程师。
圣马洛Bourgon

圣马洛Bourgon
首席运营官

圣马洛Bourgon电子邮件)负责MIRI的一天到一天的业务和计划活动。成为首席运营官之前,曾圣马洛为MIRI作为项目管理的分析师,帮助实现许多MIRI当前的系统,流程和程序的活动。金宝博官方他还共同主席在强人工智能和人工超级智能安全和善行的IEEE委员会。马洛在圭尔夫大学完成硕士学位的工程学位后不久,于2012年加入MIRI。

金宝博娱乐研究人员

以下是专职研究人员在MIRI的不完全名单。金宝博娱乐

埃利泽·尤多科斯基

埃利泽·尤多科斯基

埃利泽·尤多科斯基电子邮件)是一个决策理论家谁是广为他的长远未来人工智能的著作引用。他对AI的社会和哲学意义的观点曾在现场对正在进行的辩论产生重大影响,并为美里的高级研究员,他在数理逻辑的工作已经严重型MIRI的研究议程。金宝博娱乐他的作者人工智能的剑桥手册章节 ”人工智能的伦理”尼克·博斯特罗姆(2014),并撰写了大量流行的介绍对人类理性的科学。
Benya Fallenstein

Benya Fallenstein

Benya Fallenstein对基本理论问题提出作品对准先进的AI系统与人类目标的挑战。金宝博官方这包括当出现人工坐席对自己或对他们的环境等,同样有实力的代理商未来版本的原因决策和博弈论的问题。自从2014年加入研究团队,她花时间金宝博娱乐开发逻辑的不确定性(不确定性,其数学陈述是真实的)的高阶定理,证明系统,自我参照和安全AI目标的规格型号。金宝博官方Benya拥有学士学位从维也纳大学的数学。

斯科特Garrabrant

斯科特Garrabrant

斯科特Garrabrant电子邮件)获得博士学位在数学从加州大学洛杉矶分校学习计算机科学理论的应用计数组合。他的主要研究领域是金宝博娱乐合乎逻辑的不确定性,而他的主要作者“逻辑归纳”(2016),用于向逻辑句子分配概率高度通用的方法。他也有兴趣在逻辑不确定性和反事实的其他方面。
山姆Eisenstat

山姆Eisenstat

山姆Eisenstat电子邮件)的作品就与推理和机构的基础问题。他在滑铁卢,他在数理逻辑进行研究的大学学习纯数学。金宝博娱乐在加入美里之前,他曾在在谷歌深度学习模型的自动构建。他目前在逻辑的不确定性,特别是探索逻辑的不确定性和贝叶斯推理的现有理论之间的类比。他还做了决定论和反事实的工作。

Tsvi本森,Tilsen

Tsvi本森,Tilsen

Tsvi本森,Tilsen电子邮件)适用于理性机构的基础,包括逻辑的不确定性,逻辑的反事实和反思稳定的决策,以及AI对准的其他问题。加盟美里的专职研究人员之前,他合作了“金宝博娱乐逻辑归纳”。Tsvi拥有数学与芝加哥大学荣誉学士学位,并且是从加州大学伯克利分校集团在逻辑和科学方法论博士课程休假。Tsvi在2017年6月加入MIRI。

亚伯兰Demski

亚伯兰Demski

亚伯兰Demski电子邮件)目前正在完成在南加州大学的计算机科学博士学位。他的研究金宝博娱乐至今一直专注于认知结构和强人工智能。他爱好填充在存在于理性的形式理论,特别是那些关注说理半正式对数学的时候什么人在做的空白。
杰西Liptrap

杰西Liptrap

杰西Liptrap电子邮件)在2017年加入美里度过四年在谷歌的软件工程师后,关于知识图的工作。此前,他曾在加州大学伯克利分校从事生物信息学。他拥有加州理工学院数学学士学位和加州大学圣巴巴拉分校,在那里他学习拓扑量子计算的范畴,理论基础数学博士学位。

尼克·塔尔顿

尼克·塔尔顿

尼克·塔尔顿电子邮件)经过数年的搜索起动Quixey首席架构师加盟MIRI。此前,他曾与MIRI在其夏季研究员方案的第一次迭代的工作,学习先进的AI提出的目标系统的后果。金宝博官方尼克学习计算机科学和决策科学卡内基·梅隆大学。
巴克Shlegeris

巴克Shlegeris

巴克Shlegeris电子邮件)担任软件工程师加盟贝宝之前MIRI,并且是在Triplebyte第一个员工。此前,他曾就读于澳大利亚国立大学,主修CS和数学和物理辅修,他已经在行业会议上提出了关于数据结构的合成工作。
本韦恩斯坦-Raun

本韦恩斯坦-Raun

本韦恩斯坦-Raun电子邮件)之前做了两年在克鲁斯自动化,他在那里的规划和预测工作团队的软件工程师。此前,他曾在Counsyl曾在他们的自动化基因组学实验室,并帮助发现Hacksburg,布莱克斯堡,弗吉尼亚州一众创。他毕业于弗吉尼亚理工大学,在那里他学习电脑工程学士学位。

爱德华Kmett

爱德华Kmett

爱德华Kmett为推广使用已知突出哈斯克尔开发商镜头在函数式编程。爱德华坚持围绕哈斯克尔核心库中的所有库的显著块,涵盖了从自动分化为类理论图形,SAT绑定,RCU方案,工具编写编译器,等等。在加入美里,爱德华曾在标准普尔全球和国防/航空航天公司SM&A,以及在数字资产的DAML智能合同语言的工作。在为期三年的限制在东密歇根大学,他收集了双学士学位,在生物信息学和AI,数学的文学硕士(一个学期),数学与计算机科学,研究生证书和M.S.在计算机科学。

詹姆斯付款人

詹姆斯付款人

詹姆斯付款人电子邮件)花了三年时间在牵伸,软件启动后的工作加入MIRI。此前,他花时间在麻省理工学院STUDING数学和计算机科学。他拥有国际信息学奥林匹克竞赛,是世界上最负盛名的计算机科学竞赛之一一枚银牌。
杰里米·施拉特

杰里米·施拉特

杰里米·施拉特 是谁之前在谷歌和OpenAI,以及其他硅谷高科技公司工作的软件工程师。有些他作出了贡献,包括公共工程OpenAI的的Dota 2机器人调试器对于GO编程语言。杰里米毕业于圣路易斯华盛顿大学的计算机科学学士学位。

雷夫·肯尼迪

雷夫·肯尼迪

雷夫·肯尼迪 为有效利他酒店的独立存在的风险研究员的工作后加入MIRI。金宝博娱乐此前,他曾在数据科学的启动NStack一名软件工程师,作为一名英语教师。他毕业于牛津大学的物理学和哲学的MPhysPhil。

埃文Hubinger

埃文Hubinger

埃文Hubinger电子邮件)在OpenAI的AI安全研究实习生加金宝博娱乐入MIRI前。他的当前工作旨在解决内比对对于迭代放大。埃文是一个作者的“在先进的机器学习系统举一反三优化风险金宝博官方”以前是MIRI实习生,设计了函数式编程语言椰子,并且在谷歌,Yelp的,电压和纹波做过软件工程工作。埃文学习数学和计算机科学的哈维穆德学院。

Seraphina尼克斯

Seraphina尼克斯

Seraphina尼克斯电子邮件)从欧柏林大学毕业并在CS和物理数学和未成年人的一大后,加入MIRI。她之前做了超轻量级的暗物质候选研究,深强化学习,金宝博娱乐教神经网络办高中数学。
布雷克·琼斯

布雷克·琼斯

布雷克·琼斯 一个漫长的职业生涯上的低层次的软件系统如Solaris操作系统和Oracle数据库的工作后加入MIRI。金宝博官方在他过去的项目是用于Solaris一个新的虚拟内存系统。金宝博官方他热衷于创造系统的工作,并且可以理解。金宝博官方他拥有加州理工学院,在那里他学习计算机科学学士学位。
卡佳格雷斯

卡佳格雷斯
金宝博娱乐研究员,AI的影响

卡佳格雷斯电子邮件) 有助于AI的影响独立研究项目的重点是涉及到人工智能金宝博娱乐成果的社会和历史问题。她的分析包括“在六个领域算法的研究进展”(2013)。她写的博客Meteuphoric,并且有时在逻辑,计算和方法的博士研究生在卡内基 - 梅隆大学。

我们正在招聘!

了解更多关于加入我们团队的机会这里,或写getinvolved@www.gqpatrol.com

公众查询,给我们写信contact@www.gqpatrol.com

金宝博娱乐研究协会

斯图尔特·阿姆斯特朗

斯图尔特·阿姆斯特朗

数学博士,牛津
金宝博娱乐研究员,人类研究所的未来
拉玛纳库马尔

拉玛纳库马尔

博士计算机科学学院,剑桥
金宝博娱乐研究科学家,谷歌DeepMind
凡妮莎科索伊

凡妮莎科索伊

数学学士学位,特拉维夫大学
算法工程师,本轮技术

备受瞩目顾问

尼克·博斯特罗姆

尼克·博斯特罗姆

牛津大学教授
主任,研究所人类未来
卢克Muehlhauser

卢克Muehlhauser

金宝博娱乐研究分析师,开放慈善项目
维多利亚Krakovna

维多利亚Krakovna

联合创始人,生命研究所的未来
金宝博娱乐研究科学家,谷歌DeepMind
贾恩·塔林

贾恩·塔林

联合创始人,中心生存风险的研究
联合创始人,生命研究所的未来
联合创始人,Skype公司

布雷克Borgeson

布雷克Borgeson导向器

联合创始人,递归制药
安娜·萨拉蒙

安娜·萨拉蒙导向器

总统中心应用理性
埃利泽·尤多科斯基

埃利泽·尤多科斯基导向器

高级研究员,M金宝博娱乐IRI
埃德温·埃文斯

埃德温·埃文斯椅子

联合创始人,林肯全球
内特·苏亚雷斯

内特·苏亚雷斯导向器

执行董事,MIRI