He received his PhD from the University of Wisconsin in 2002 and his BSE from Duke University in 1996. His research interests are in computer architecture, with focuses on fault tolerance, verification, and memory system design. He spent June-December 2010 on a sabbatical in a validation team at Intel Corporation in Hillsboro, OR.