I was pleasantly surprised to see my former CS professor Brian Harvey at 0:18. What a cool dude!