Dave Walker has moved to Carnegie Mellon University.