MIRI Updates
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...
2013 in Review: Strategic and Expository Research
This is the 3rd part of my personal and qualitative self-review of MIRI in 2013, in which I begin to review MIRI’s 2013 research activities. By “research activities” I mean to include outreach efforts primarily aimed at researchers, and also...
MIRI’s Experience with Google Adwords
In late 2011, MIRI opened a Google Grants account, which provides $10k/mo in free Google Adwords for nonprofits. Kevin Fischer and I tweaked our Adwords account over several months until we successfully spent the full $10,000/mo 3 months in a...
Careers at MIRI
We’ve published a new Careers page, which advertises current job openings at MIRI. As always, we’re seeking math researchers to make progress on Friendly AI theory. If you’re interested, the next step is not to apply for the position directly,...
Ronald de Wolf on Quantum Computing
Ronald de Wolf is a senior researcher at CWI and a part-time full professor at the University of Amsterdam. He obtained his PhD there in 2001 with a thesis about quantum computing and communication complexity, advised by Harry Buhrman and...
