我们的队伍
领导

nate翱翔
执行董事
nate翱翔领导MIRI的研究项目。金宝博娱乐他于2014年以研究员的身份加入MIRI,并凭借其战略洞察力和高生产金宝博娱乐率迅速获得了很高的声誉。内特是大部分MIRI的主要作者代理基金会技术议程,包括概述文档“将机器智能与人类兴趣相结合的代理基础“(2014)和”易燃“(2015)。在Miri之前,Nate曾在谷歌担任软件工程师。
Malo Bourgon.
首席运营官
Malo Bourgon.(电子邮件)监督Miri的日常运营和计划活动。在成为COO之前,Malo为Miri担任计划管理分析师,帮助实施许多Miri目前的系统,流程和计划活动。金宝博官方他还联合了IEEE委员会的人工智力和人工高智委员会的安全和益智。在Guelph大学完成工程硕士学位后,马洛在2012年加入Miri。金宝博娱乐研究人员
以下是Miri全日制研究人员的非详尽清单。金宝博娱乐

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

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

Abram Demski.
Abram Demski.(电子邮件)目前正在南加利福尼亚大学完成计算机科学博士学位。他迄今为金宝博娱乐止的研究已经专注于认知架构和人为的一般情报。他有兴趣填补正式理论的理论中存在的差距,尤其是那些有关人类在半正式推理数学时正在做的事情的差距。
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(电子邮件)以前花了两年的巡航自动化软件工程师,他在规划和预测团队上工作。他以前在其自动化基因组学实验室的律师们工作过,并帮助找到了弗吉尼亚州布莱克斯堡的黑客空间的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
是一个以前在谷歌和Openai工作的软件工程师以及其他硅谷科技公司。一些他有贡献的一些公共项目Openai的Dota 2机器人A.调试器对于去编程语言。杰里米在圣路易斯举办华盛顿大学的计算机科学学士学位。

雷夫肯尼迪
雷夫肯尼迪
在有效的利他主义酒店工作后加入Miri后,担任独立存在的风险研究员。金宝博娱乐以前,他作为一名软件工程师,在数据科学启动Nstack和作为英语老师。他在物理和哲学中占据了牛津大学的绵羊。
我们正在招聘!
了解有关加入我们不断发展的团队的机会的更多信息这里或写信给getInvolded@www.gqpatrol.com.。
对于一般询问,写信给我们contact@www.gqpatrol.com.。
金宝博娱乐研究员工

斯图尔特阿姆斯特朗
博士数学,牛津金宝博娱乐人文未来研究所研究员

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

Vanessa Kosoy.
BSC数学,特拉维夫大学算法工程师,独立技术
聚焦的研究支持金宝博娱乐

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,并在加拿大安大略省远程作品。聚焦顾问

Jan Leike.
对齐团队领先,Openai
克里斯汀彼得森
创始人,前瞻研究所
jed mccaleb.
恒星发展基金会联合创始人
斯图尔特罗素
UC Berkeley教授董事,人类兼容AI中心
作者,人工智能:一种现代方法
木板

布莱克Borgeson导演
Cofounder,递归药物
安娜萨拉梅导演
申请理性中心总裁
Eliezer Yudkowsky.导演
Miri高级研金宝博娱乐究员
埃德文埃文斯椅子
Cofounder,Linc全球