Craig Mundie is a former chief technical officer at Microsoft who spent years working on the policy questions raised by new technologies, especially artificial intelligence.