Anil Nerode博士是康奈尔大学数学和计算机科学Goldwin Smith教授。他是“数学逻辑、可计算性、自动机理论和可计算过程理解的先驱,理论和实践都超过半个世纪,他的工作来自一个可敬的和杰出的数学传统结合…阅读更多»
贴子:路加福音Muehlhauser
Michael Carbin谈近似计算中的完整性性质
迈克尔·卡宾(Michael Carbin)是麻省理工学院电子工程和计算机科学博士研究生。他的兴趣包括设计编程系统,通过结合近似计算和自修复来提供改进的性能和弹性。金宝博官方他本科时在斯坦福大学进行的程序分析工作获得了最佳计算机科学本科荣誉论文....奖阅读更多»
Randal Koene的全脑模拟
Randal a . Koene博士是非营利科学基金会Carboncopies和神经接口公司NeuraLink Co的首席执行官和创始人。Koene博士是一名神经科学家专注于神经接口,神经假肢…阅读更多»
马克斯·泰格马克对数学宇宙的看法
因其非正统的思想和对冒险的热情而被称为“疯狂的麦克斯”,他的科学兴趣从精确的宇宙学到现实的终极本质,所有这些都在他的新书《我们的数学宇宙》中进行了探索。他是麻省理工学院的物理学教授,发表了200多篇技术论文,12篇被引用超过500次。阅读更多»
MIRI的2014年3月通讯
金宝博娱乐我们最近聘请了4名新的研究人员,其中包括两名新的Friendly AI研究人员。我们在最近的MIRI扩展派对上向我们的当地支持者宣布了这一消息。我们将下一次研究研讨会安排在2014年5月。金宝博娱乐关于归化归纳法的三篇新文章:《桥的倒塌》、《笛卡尔主义》和《爱希的问题》。新的分析:世界的计算和…阅读更多»
MIRI最近的招聘情况
MIRI自豪地宣布几个新的团队成员(更多细节见我们的团队页面):Benja Fallenstein参加了四个MIRI过去的研讨会,并在友好AI理论中贡献了几个新的结果,包括Löbian合作,参数多态性,和“Fallenstein的怪物。”她的研究金宝博娱乐重点是友好人工智能理论。Nate Soares完成了MIRI的大部分课程…阅读更多»
托比·沃尔什谈计算社会选择
托比·沃尔什(Toby Walsh)是NICTA和新南威尔士大学的人工智能教授。他曾担任澳大利亚ICT研究卓越中心NICTA的科学主任。金宝博娱乐他还在英格兰、苏格兰、爱尔兰、法国金宝博娱乐、意大利、瑞典和澳大利亚担任研究职位。他曾担任《…》杂志的主编。阅读更多»
兰德尔·拉森和林恩·基德谈美国生物反应
美国空军(已退役)的兰德尔·拉森上校是UPMC健康安全中心的国家安全顾问,也是乔治·华盛顿大学国土安全政策研究所的高级研究员。他曾担任防止大规模杀伤性武器扩散和恐怖主义委员会执行主任(2009-2010年);创始董事…阅读更多»