The Machine Intelligence Research Institute (MIRI) is a non-profit research institute. Its mission is "to develop formal tools for the clean design and analysis of general-purpose AI systems, with the intent of making such systems safer and more reliable when they are developed." (Machine Intelligence Research Institute 2021) It was founded in 2000 as the Singularity Institute for Artificial Intelligence by Brian Atkins, Sabine Atkins and Eliezer Yudkowsky (Singularity Institute for Artificial Intelligence 2006). MIRI adopted its current name in 2013 (Muehlhauser 2013).
Karnofsky, Holden (2012) Thoughts on the Singularity Institute (SI), LessWrong, May 11.