ACM Fellow - 2013
For contributions to algorithmic approaches to program reliability, bioinformatics, and for
service to the computer science research community.


ACM SIGACT (Special Interest Group for Algorithms and Complexity Theory) Distinguished Service Award - 2012
Given to one person every two years, and selected to be a participant at the National Academies Keck Futures Initiative (NAKFI) in a think-tank style conference, "The Informed Brain in a “Digital World."


  • Outstanding Faculty Advising Award, 2005
  • Ford Foundation `Best Advisor' award, University of Pennsylvania, 2004
  • One of two `Impact Papers' in STOC '92
  • Helen and George Pardee Fellowship, UC Berkeley, 1987-1988
  • Regents Fellowship, UC Berkeley, 1984-1986


Member of: