Blog

Day: February 11, 2014

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...