His research interests include verification and design of digital systems, and the preservation of digital documents.

Research Areas:

  • Infrastructure
  • Systems and High Performance Computing

Subject Area: Computer Science

PhD, University of Texas at Austin, Electrical Engineering, 1987
MS, Stanford University, Electrical Engineering, 1983
BS, Swarthmore College, Engineering, 1982