Interestingly, he once called MIRI[1] (formerly SIAI) “the best hope that we have”[2].

[1] https://intelligence.org/

[2] http://www.vetta.org/2009/08/funding-safe-agi/