Indeed, this is his profile page: http://www.cs.cmu.edu/~jcr/ http://www.cs.cmu.edu/~jcr/ (people please use the photo from this link instead of the one curren

Indeed, this is his profile page: http://www.cs.cmu.edu/~jcr/ http://www.cs.cmu.edu/~jcr/ (people please use the photo from this link instead of the one currently in Wikipedia where he looks somewhat angry)