Looks like a good choice, covering quite a few strengths. Unlike many "external" hires plucked from industry to lead university divisions (which doesn't always work out well), Moore is as much of a CMUer as a Googler: He was professor in the school he'll now be dean of from 1993 to 2006, and has maintained strong ties since, so is quite familiar with its culture and operation.