BS in Mathematics from the University of Wisconsin, Madison. PhD in Computer Science from Cornell University. Previous experience includes teaching at UNICAMP in Brazil and more than a dozen years at Bell Laboratories and AT&T Research. Joined the Computer Lab on January 1, 2005.