Thomas Bolander on self-reference and agent introspection

Posted by & filed under Conversations.

Thomas Bolander, Ph.D., is associate professor at DTU Compute, Technical University of Denmark. He is doing research in logic and artificial intelligence with primary focus on the use of logic to model human-like planning, reasoning and problem solving. Of special interest is the modelling of social phenomena and social intelligence with the aim of creating… Read more »

Jonathan Millen on covert channel communication

Posted by & filed under Conversations.

Jonathan Millen started work at the MITRE Corporation in 1969, after graduation from Rensselaer Polytechnic Institute with a Ph.D. in Mathematics. He retired from MITRE in 2012 as a Senior Principal in the Information Security Division. From 1997 to 2004 he enjoyed an interlude as a Senior Computer Scientist in the SRI International Computer Science… Read more »

Wolf Kohn on hybrid systems control

Posted by & filed under Conversations.

Dr. Wolf Kohn is the Chief Scientist at Atigeo, LLC, and a Research Professor in Industrial and Systems Engineering at the University of Washington. He is the founder and co-founder of two successful start-up companies: Clearsight Systems, Corp., and Kohn-Nerode, Inc. Both companies explore applications in the areas of advanced optimal control, rule-based optimization, and… Read more »

MIRI’s April 2014 Newsletter

Posted by & filed under Newsletters.

Research Updates New technical report: “Botworld 1.0.” 9 new expert interviews: Max Tegmark on the mathematical universe, Randal Koene on whole brain emulation, Michael Carbin on integrity properties in approximate computing, Anil Nerode on hybrid systems control, Lyle Ungar on forecasting, Erik DeBenedictis on supercomputing, Will MacAskill on normative uncertainty, Diana Spears on the safety of adaptive agents, and Paulo… Read more »

New Report: Botworld

Posted by & filed under News.

Today MIRI releases a new technical report: “Botworld 1.0” (pdf) by recent hires Nate Soares and Benja Fallenstein. The report is a “literate” Haskell file, available from MIRI’s Github page. Soares explains the report on his accompanying Less Wrong post, which is also the preferred place for discussion of the report: This report introduces Botworld,… Read more »

Paulo Tabuada on program synthesis for cyber-physical systems

Posted by & filed under Conversations.

Paulo Tabuada was born in Lisbon, Portugal, one year after the Carnation Revolution. He received his “Licenciatura” degree in Aerospace Engineering from Instituto Superior Tecnico, Lisbon, Portugal in 1998 and his Ph.D. degree in Electrical and Computer Engineering in 2002 from the Institute for Systems and Robotics, a private research institute associated with Instituto Superior… Read more »

Diana Spears on the safety of adaptive agents

Posted by & filed under Conversations.

Diana Spears is an Owner and Research Scientist at Swarmotics, LLC. Previously, she worked at US government laboratories (Goddard, NIST, NRL) and afterwards she was an Associate Professor of Computer Science at the University of Wyoming. She received both the MS and PhD (1990) degrees in Computer Science from the University of Maryland, College Park…. Read more »

Will MacAskill on normative uncertainty

Posted by & filed under Conversations.

Will MacAskill recently completed his DPhil at Oxford University and, as of October 2014 will be a Research Fellow at Emmanuel College, Cambridge. He is the cofounder of Giving What We Can and 80,000 Hours. He’s currently writing a book, Effective Altruism, to be published by Gotham (Penguin USA) in summer 2015. Luke Muehlhauser: In… Read more »