His current work is on Operations Research. Previously within Google he worked on YouTube video annotation, web search quality, spelling correction, and biologically-inspired vision algorithms. From 1997-2004 he worked at NASA Ames Research Center on Mars rover autonomy and plan execution. He holds a BA in Mathematics from Johns Hopkins University and a PhD in Computer Science (Artificial Intelligence) from Stanford University.