我们的队伍

领导

nate翱翔

nate翱翔
执行董事

nate翱翔Heads Miri的研究亚博体育官网计划。他在2014年首次加入Miri作为研究员,迅速为他的战略洞察力和高生亚博体育官网产力而享有强大的声誉。nate是大多数Miri的主要作者代理基金会技术议程,包括概述文档“用于将机智与人类兴趣的代理基础“(2014)和”易燃“(2015)。在Miri之前,Nate曾在谷歌担任软件工程师。
Malo Bourgon.

Malo Bourgon.
首席运营官

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

亚博体育官网研究人员

以下是Miri全日制研究人员的非详尽清单。亚博体育官网

Eliezer Yudkowsky.

Eliezer Yudkowsky.

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

Benya Fallenstein.

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

斯科特盖拉德坦特

斯科特盖拉德坦特

斯科特盖拉德坦特电子邮件)从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的拟议目标系统的后果。亚博体育苹果app官方下载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.在计算机科学中。

詹姆斯达人

詹姆斯达人

詹姆斯达人电子邮件)在花费三年后,在开发的软件启动后加入Miri。此前,他花时间在麻省理工学院研究数学和计算机科学。他拥有来自国际奥林匹克国际奥林匹克的银牌,是世界上最负盛名的计算机科学比赛之一。
Jeremy Schlatter

Jeremy Schlatter

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

Rafe Kennedy

Rafe Kennedy

Rafe Kennedy 在有效的利他主义酒店工作后加入Miri后,担任独立存在的风险研究员。亚博体育官网以前,他作为一名软件工程师,在数据科学启动Nstack和作为英语老师。他在物理和哲学中占据了牛津大学的绵羊。

Evan Hubinger

Evan Hubinger

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

凯塔哈恩惠

凯塔哈恩惠
亚博体育官网研究人员,AI影响

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

我们正在招聘!

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

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

亚博体育官网研究员工

斯图尔特阿姆斯特朗

斯图尔特阿姆斯特朗

博士数学,牛津
亚博体育官网研究员,人类研究所的未来
Ramana Kumar.

Ramana Kumar.

博士计算机科学,剑桥
亚博体育官网研究科学家,谷歌深渊
Vanessa Kosoy.

Vanessa Kosoy.

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

聚焦顾问

维多利亚krakovna

维多利亚krakovna

Cofounder,生命研究所的未来
亚博体育官网研究科学家,谷歌深渊
克里斯汀彼得森

克里斯汀彼得森

创始人,前瞻研究所
Steve Omohundro

Steve Omohundro

主席,自我意识系统亚博体育苹果app官方下载
斯图尔特罗素

斯图尔特罗素

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

木板

布莱克·博格森

布莱克·博格森导演

Cofounder,递归药物
安娜萨拉梅

安娜萨拉梅导演

申请理性中心总裁
Eliezer Yudkowsky.

Eliezer Yudkowsky.导演

Miri高级研亚博体育官网究员
埃德文埃文斯

埃德文埃文斯椅子

Cofounder,Linc全球
nate翱翔

nate翱翔导演

执行董事Miri