http://intelligence.org/2014/03/13/hires/
MIRI is proud to announce several new team members (see our Team page for more details):
Benja Fallenstein attended four of MIRI’s past workshops, and has contributed to several novel results in Friendly AI theory, including Löbian cooperation, parametric polymorphism, and “Fallenstein’s monster.” His research focus is Friendly AI theory.
Nate Soares worked through much of the MIRI’s courses list in time to attend MIRI’s December 2013 workshop, where he demonstrated his ability to contribute to the research program in a variety of ways, including writing. He and Fallenstein are currently collaborating on several papers in Friendly AI theory.
Robby Bensinger works part-time for MIRI, describing open problems in Friendly AI in collaboration with Eliezer Yudkowsky. His current project is to explain the open problem of naturalized induction.
Katja Grace has also been hired in a part-time role to study questions related to the forecasting part of MIRI’s research program. She previously researched and wrote Algorithmic Progress in Six Domains for MIRI.
(see original post for hyperlinks)
Also, I might as well share the approximate text of my short talk from that evening:
...Hi everyone,
As most of you know, my name is Luke Muehlhauser, I’m the Executive Director at MIRI, and our mission is to ensure that the creation of smarter-than-human intelligence has a positive impact.
I’m going to talk for about 5 minutes on what we’re doing at MIRI these days, and at the end I’m going to make an announcement that I’m very excited about, and then can we can all return to our pizza and beer and conversation.
I’m also going to refer to my notes regularly b
It has been 5.5 days since the MIRI Expansion party. Could someone, anyone who attended please describe briefly what was announced?
(I attempted unsuccessfully to satisfy my curiosity by reading around all occurrences of "expansion" and "one medical" in /r/all/comments and scanning all the titles in /r/all/recentposts.)