我们的团队

nate翱翔
执行董事

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

Bourgon不全
首席运营官

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

Eliezer Yudkowsky.

Eliezer Yudkowsky.（电子邮件)是一位决策理论家，他因有关人工智能的长期未来的著作而被广泛引用。他对人工智能的社会和哲学意义的观点对该领域正在进行的辩论产生了重大影响，作为MIRI的高级研究员，他在数学逻辑方面的工作在很大程度上影响了MIRI的研究议程。亚博体育官网他是……的作者剑桥人工智能手册章”人工智能的伦理学“随着尼克博斯特罗姆（2014年），并为人类理性的科学写了一些流行的介绍。

Benya Fallenstein

Benya Fallenstein他们致力于解决先进的人工智能系统与人类目标相匹配的挑战所带来的基本理论问题。亚博体育苹果app官方下载这些问题包括决策和博弈论问题，这些问题出现在人工代理思考自身或环境中其他类似强大代理的未来版本时。自2014年加入该研究团队以来，她一亚博体育官网直致力于开发逻辑不确定性模型(关于哪个数学表述是正确的不确定性)、高阶定理证明系统中的自我引用，以及安全人工智能目标的规范。亚博体育苹果app官方下载本雅拥有维也纳大学数学学士学位。

斯科特Garrabrant

斯科特Garrabrant（电子邮件)在加州大学洛杉矶分校获得数学博士学位，研究理论计算机科学到枚举组合学的应用。他的主要研究领域是亚博体育官网逻辑不确定性，他是《逻辑归纳“（2016），一种将概率分配给逻辑句子的高度通用方法。他也对逻辑不确定性和反事实的其他方面感兴趣。

以致艾圣斯特山姆

以致艾圣斯特山姆（电子邮件）适用于与推理和机构基础有关的问题。他在滑铁卢大学学习纯数学，在那里他在数学逻辑中进行了研究。亚博体育官网在加入Miri之前，他曾在谷歌自动建设深度学习模型上。他目前正在采用逻辑不确定性，特别是探索逻辑不确定性和贝叶斯推理的当前理论之间的类比。他还在决策理论和反应性上做了工作。

Tsvi Benson-Tilsen

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

Abram Demski.

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

杰西Liptrap

杰西Liptrap（电子邮件)于2017年加入MIRI，此前在谷歌担任了4年的软件工程师，从事知识图谱的工作。此前，他在加州大学伯克利分校(UC Berkeley)担任生物信息学家。他拥有加州理工学院的数学学士学位和加州大学圣巴巴拉分校的数学博士学位，在那里他学习了拓扑量子计算的范畴理论基础。

塔尔顿家尼克

塔尔顿家尼克（电子邮件）在搜索启动Quixey的领导架构师之后加入Miri。他以前在夏季研究员计划的第一次迭代中与Miri合作，研究了先进AI的拟议目标系统的后果。亚博体育苹果app官方下载Carnegie Mellon University的尼克学习计算机科学与决策科学。

本Weinstein-Raun

本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。此前，他曾在麻省理工学院学习数学和计算机科学。他在国际奥林匹克信息学竞赛中获得一枚银牌，这是世界上最负盛名的计算机科学竞赛之一。

杰里米Schlatter

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

雷夫肯尼迪

雷夫肯尼迪 加入MIRI之前，曾在高效利他主义酒店(Effective利他主义Hotel)担任独立存在风险研究员。亚博体育官网此前，他曾在数据科学初创公司NStack担任软件工程师，并担任过英语教师。他拥有牛津大学物理学和哲学硕士学位。

埃文Hubinger

埃文Hubinger（电子邮件)在加入MIRI之前是OpenAI的人亚博体育官网工智能安全研究实习生。他的当前的工作旨在解决内在的一致性为迭代放大．埃文是"高级机器学习系统中学到的学习优化风险亚博体育苹果app官方下载之前是MIRI的实习生，设计函数式编程语言椰子他曾在谷歌、Yelp和Ripple做过软件工程工作。Evan在Harvey Mudd学院学习数学和计算机科学。

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

凯塔哈恩惠（电子邮件） 有助于人工智能的影响这是一个独立的研究项目，专注于与人亚博体育官网工智能成果相关的社会和历史问题。她的分析包括六个领域的算法进展“（2013）。她写了博客介化他有时是卡内基梅隆大学(Carnegie Mellon University)逻辑、计算和方法论专业的博士生。

斯图亚特·阿姆斯特朗

数学博士,牛津大学
亚博体育官网人文未来研究所研究员

拉库马

剑桥大学计算机科学博士
亚博体育官网谷歌DeepMind研究科学家

凡妮莎Kosoy

BSC数学，特拉维夫大学
算法工程师，Epicycle Technologies

COLMóRIAIN.
生长

COLMóRIAIN.（电子邮件)协调慈善策略和招聘，以支持MIRI的增长计划。在电子游戏行业工作了15年之后，他在Zynga.org和Harmony Project从事慈善工作，并于2016年7月加入MIRI。他拥有罗切斯特大学(University of Rochester)的AI硕士学位和数学与计算机科学联合荣誉学士学位。科尔姆也是一位专业小提琴家和作曲家。

吉米Rintjema
财务和人力资金

吉米Rintjema（电子邮件)为MIRI做人力资源和财务工作。此前，他负责管理MIRI的数字基础设施，确保网站、软件工具和系统的顺利运行。亚博体育苹果app官方下载Jimmy于2014年加入MIRI，在加拿大安大略省远程工作。

邓肯Sabien
运营

邓肯Sabien（电子邮件)是一名作家、教师、摄像师和跑酷实践者。他有中学教育背景，曾担任应用理性中心(Center for Applied Rationality)的课程主任。他想要离开的宇宙与他发现的宇宙有明显的不同，而且很容易被人们引用安德的游戏．

巴克希盖斯
招聘

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

Jan Leike

对齐团队领先，Openai

克里斯汀·彼得森

创始人，前瞻研究所

jed mccaleb.

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

斯图亚特·罗素

教授,加州大学伯克利分校
人类兼容人工智能中心主任
作者，人工智能:一种现代方法

布莱克Borgeson导演

创始人、递归制药

安娜萨拉梅导演

申请理性中心总裁

Eliezer Yudkowsky.导演

Miri高级研亚博体育官网究员

埃德文埃文斯椅子

Cofounder，Linc全球

nate翱翔导演

执行董事Miri