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."^[1] It was founded in 2000 as the Singularity Institute for Artificial Intelligence by Brian Atkins, Sabine Atkins and Eliezer Yudkowsky.^[2] MIRI adopted its current name in 2013.^[3]