University of Wisconsin–Madison

Zisman Family Professor of Computer and Information Science, University of Pennsylvania

J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of Wisconsin

Researcher, Microsoft

Associate Professor of EECS, University of California, Berkeley

Assistant Professor at the University of Colorado Boulder, ATLAS Institute and Computer Science