MIRI Updates
Why MIRI?
I wrote a short profile of MIRI for a forthcoming book on effective altruism. It leaves out many important details, but hits many of the key points pretty succinctly: The Machine Intelligence Research Institute (MIRI) was founded in 2000 on...
Thomas Bolander on self-reference and agent introspection
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...
Jonathan Millen on covert channel communication
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...
Wolf Kohn on hybrid systems control
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,...
MIRI’s April 2014 Newsletter
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...
New Report: Botworld
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,...
