Dr. Kathleen Fisher joined DARPA as a program manager in 2011. Her research and development interests relate to programming languages and high assurance systems. Dr. Fisher joined DARPA from Tufts University. Previously, she worked as a Principal Member of the...
2013 was by far MIRI’s most successful fundraising year (more details later), so now we’re talking to our donors to figure out: “Okay, what exactly are we doing so right?” Below is one donor’s story, anonymized and published with permission:...
Recently, MIRI released 7 brief technical reports that explain several pieces of theoretical progress made at our December 2013 research workshop. Several of these results build on work done at our July and November 2013 workshops, and also on between-workshop...
Wow! MIRI’s donors just finished our 2013 winter matching challenge three weeks ahead of the deadline! As it happens, the person who finished this drive was Patrick LaVictoire, who says his donation was the product of his altruism tip jar...
Josef Urban is a postdoctoral researcher at the Institute for Computing and Information Sciences of the Radboud University in Nijmegen, the Netherlands. His main interest is development of combined inductive and deductive AI methods over large formal (fully semantically specified)...
It’s been 8 months since our big strategic shift to a focus on Friendly AI research. What has worked well? What hasn’t? What have we learned? In this and several upcoming posts, I’ll provide a qualitative and personal self-review of...
