亲爱的朋友们,SV的筹款活动对许多组织来说都是一个巨大的成功,特别是对MIRI。非常感谢大家!亚博体育官网两篇新论文:“项目均衡……”(已被AAAI-14 MIPC研讨会接受)和“自我参照问题……”(已被AGI-14接受)。来自我们五月研讨会的第一份报告:“响度:优先于偏好关系。””(其他报告……阅读更多»
贴子:路加福音Muehlhauser
博弈论在安全领域的应用
Milind Tambe是南加州大学(USC)的Helen N. and Emmett H. Jones工程教授。他是AAAI (Association for Advancement of Artificial Intelligence)和ACM (Association for Computing Machinery)的成员,以及ACM/SIGART自主代理研究奖、Christopher Columbus Fellowship Foundation Homeland sec亚博体育官网urity Award、…阅读更多»
新报告:“响度:优先于偏好关系”
今天,我们发布了2014年5月研讨会的第一份技术报告:由Benja Fallenstein和Nisan Stiennon主持的“噪音:优先于偏好关系”。该讲习班的其他技术报告也在编写中。以下是这份报告的摘要:这是对2014年5月MIRI研讨会上讨论的一个问题的快速描述:如何……阅读更多»
MIRI想要资助你的独立组织的友好AI研讨会
为了支持世界各地的友好人工智能研究,我们新的M亚博体育官网IRIx项目资助数学家、计算机科学家和正式的哲学家组织他们自己的友好人工智能研讨会。一个MIRIx工作室可以像聚集一些你的朋友一起阅读MIRI文件,谈论他们,吃一些零食,在白板上涂鸦一些想法,和…阅读更多»
Aaron Tomb对众包正式验证的看法
Aaron Tomb是Galois的首席研究员,他的工作包括在软件分析的自动化和半自动化技术领域的研究、开发和项目领导,包括类型系统、缺陷检测工具、亚博体育官网正式验证、亚博体育苹果app官方下载而更通用的软件开发工具则是基于对程序语义的深入分析。他于2007年加入伽罗瓦。阅读更多»
Lennart Beringer,验证软件工具链
伦纳特·贝林格(Lennart Beringer)是普林斯顿大学(亚博体育官网Princeton University)的一名副研究学者,他使用交互式证明助手开发可证明正确的编译器、程序分析和其他软件验证工具。在此之前,他曾在德国慕尼黑大学和爱丁堡大亚博体育官网学担任研究职务,在那里他开发了移动代码架构的代码验证技术,专注于移动代码的性能…阅读更多»
Johann Schumann谈高保证系统亚博体育苹果app官方下载
Johann Schumann博士是美国宇航局艾姆斯的鲁棒软件工程组RSE的成员。他在德国Technische Universität München获得了关于软件工程中自动定理证明的应用的适用性学位(2000年)。他的博士论文(1991)是关于高性能并行定理的证明。舒曼博士从事软件和…亚博体育官网阅读更多»
桑铎·维尔斯的自主特工
桑德尔·维尔斯教授出生于匈牙利,并作为应用数学家接受教育。他于1983年完成随机系统动力学建模博士学位,并从事计算机控制系统的工业工作。亚博体育苹果app官方下载1987-1988年,他连续两次获得伦敦帝国理工学院和牛津利纳克学院的奖学金。1989-1999年间,他在…阅读更多»