我们的队伍

领导

nate翱翔

nate翱翔
执行董事

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

Malo Bourgon.
首席运营官

Malo Bourgon.电子邮件)监督Miri的日常运营和计划活动。在成为COO之前,Malo为Miri担任计划管理分析师,帮助实施许多Miri目前的系统,流程和计划活动。金宝博官方他还联合了IEEE委员会的人工智力和人工高智委员会的安全和益智。在Guelph大学完成工程硕士学位后,马洛在2012年加入Miri。

金宝博娱乐研究人员

以下是Miri全日制研究人员的非详尽清单。金宝博娱乐

Eliezer Yudkowsky.

Eliezer Yudkowsky.

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

Benya Fallenstein.

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

斯科特Garrabrant

斯科特Garrabrant

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

Sam Eisenstat.

Sam Eisenstat.电子邮件)适用于与推理和机构基础有关的问题。他在滑铁卢大学学习纯数学,在那里他在数学逻辑中进行了研究。金宝博娱乐在加入Miri之前,他曾在谷歌自动建设深度学习模型上。他目前正在采用逻辑不确定性,特别是探索逻辑不确定性和贝叶斯推理的当前理论之间的类比。他还在决策理论和反应性上做了工作。

Tsvi Benson-tilsen

Tsvi Benson-tilsen

Tsvi Benson-tilsen电子邮件)在理性机构的基础上,包括逻辑不确定性,逻辑反应性,以及反思的决策,以及AI对准的其他问题。在加入Miri作为全日制的研究员之前,他合作了“金宝博娱乐逻辑归纳“。Tsvi在数学中持有芝加哥大学的荣誉,并从UC Berkeley Group休假,以及科学博士计划的方法。Tsvi于2017年6月加入Miri。

Abram Demski.

Abram Demski.

Abram Demski.电子邮件)目前正在南加利福尼亚大学完成计算机科学博士学位。他迄今为金宝博娱乐止的研究已经专注于认知架构和人为的一般情报。他有兴趣填补正式理论的理论中存在的差距,尤其是那些有关人类在半正式推理数学时正在做的事情的差距。
Jesse Liptrap.

Jesse Liptrap.

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

尼克塔尔顿

尼克塔尔顿

尼克塔尔顿电子邮件)在搜索启动Quixey的领导架构师之后加入Miri。他以前在夏季研究员计划的第一次迭代中与Miri合作,研究了先进AI的拟议目标系统的后果。金宝博官方Carnegie Mellon University的尼克学习计算机科学与决策科学。
Ben Weinstein-Raun

Ben Weinstein-Raun

Ben Weinstein-Raun电子邮件)以前花了两年的巡航自动化软件工程师,他在规划和预测团队上工作。他以前在其自动化基因组学实验室的律师们工作过,并帮助找到了弗吉尼亚州布莱克斯堡的黑客空间的Hacksburg。他举办了来自弗吉尼亚理工学院的BS,在那里学习了计算机工程。

爱德华九九

爱德华九九

爱德华九九是一个众所周知的Haskell开发人员,以推广使用镜头在功能规划中。Edward在Haskell核心库周围维护了所有库的重要块,涵盖了从自动差异化到类别理论到图形,SAT绑定,RCU方案,编写编译器的工具的所有内容以及更多的。在加入Miri之前,Edward在S&P Global和Defense / Aerospace Company SM&A工作,并在Daml Smart合同语言上进行了数字资产。在密歇根州东部大学的三年内,他在数学和计算机科学中收集了双层学士学位,毕业生证书,生物信息学和AI,M.A.在数学(在一个学期)和M.S.在计算机科学中。

詹姆斯付款人

詹姆斯付款人

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

Jeremy Schlatter

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

雷夫肯尼迪

雷夫肯尼迪

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

Evan Hubinger

Evan Hubinger

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

凯塔哈恩惠

凯塔哈恩惠
金宝博娱乐研究人员,AI影响

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

我们正在招聘!

了解有关加入我们不断发展的团队的机会的更多信息这里或写信给getInvolded@www.gqpatrol.com.

对于一般询问,写信给我们contact@www.gqpatrol.com.

金宝博娱乐研究员工

斯图尔特阿姆斯特朗

斯图尔特阿姆斯特朗

博士数学,牛津
金宝博娱乐人文未来研究所研究员
Ramana Kumar.

Ramana Kumar.

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

Vanessa Kosoy.

BSC数学,特拉维夫大学
算法工程师,独立技术

聚焦的研究支持金宝博娱乐

COLMóRIAIN.

COLMóRIAIN.
生长

COLMó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,并在加拿大安大略省远程作品。
邓肯萨比恩

邓肯萨比恩
运营

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

巴克希盖斯
招聘

巴克希盖斯电子邮件)在加入Miri之前,作为PayPal的软件工程师,是Triplebyte的第一个员工。他以前在澳大利亚国立大学学习过,主要在CS和Math和物理学中进行了专注,他在行业会议上提出了数据结构综合的工作。

聚焦顾问

Jan Leike.

Jan Leike.

对齐团队领先,Openai
克里斯汀彼得森

克里斯汀彼得森

创始人,前瞻研究所
jed mccaleb.

jed mccaleb.

恒星发展基金会联合创始人
斯图尔特罗素

斯图尔特罗素

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

木板

布莱克Borgeson

布莱克Borgeson导演

Cofounder,递归药物
安娜萨拉梅

安娜萨拉梅导演

申请理性中心总裁
Eliezer Yudkowsky.

Eliezer Yudkowsky.导演

Miri高级研金宝博娱乐究员
埃德文埃文斯

埃德文埃文斯椅子

Cofounder,Linc全球
nate翱翔

nate翱翔导演

执行董事Miri