MIRI Updates
2013 in Review: Friendly AI Research
This is the 4th part of my personal and qualitative self-review of MIRI in 2013, in which I review MIRI’s 2013 Friendly AI (FAI) research activities. ((What counts as “Friendly AI research” is, naturally, a matter of debate. For most...
MIRI’s February 2014 Newsletter
Dear friends, See below for news on our new ebook, new research, new job openings, and Google’s new AI ethics board. Research Updates New analyses: Robust Cooperation: A Case Study in Friendly AI Research and How Big is the Field...
New eBook: ‘Smarter Than Us’
We are pleased to release a new ebook, commissioned by MIRI and written by Oxford University’s Stuart Armstrong, and available in EPUB, MOBI, PDF, and from the Amazon and Apple ebook stores. What happens when machines become smarter than humans?...
André Platzer on Verifying Cyber-Physical Systems
André Platzer is an Assistant Professor of Computer Science at Carnegie Mellon University. He develops the logical foundations of cyber-physical systems to characterize their fundamental principles and to answer the question how we can trust a computer to control physical...
Gerwin Klein on Formal Methods
Gerwin Klein is a Senior Principal Researcher at NICTA, Australia’s National Centre of Excellence for ICT Research, and Conjoint Associate Professor at the University of New South Wales in Sydney, Australia. He is leading NICTA’s Formal Methods research discipline and...
Conversation with Jacob Steinhardt about MIRI Strategy
On January 21st, 2014, MIRI met with Jacob Steinhardt to discuss MIRI strategy. Participants were: Luke Muehlhauser (executive director at MIRI) Jacob Steinhardt (grad student in computer science at Stanford) We recorded and transcribed much of the conversation, and then...
