challenge: What is the name of the award instituted by the Association for Computing Machinery in 1996 to honor significant theoretical accomplishments in computing?
  
  A. Paris Kanellakis Computing Excellence Award
  B. Paris Kanellakis Technology Achievement Award
  C. Paris Kanellakis Theory and Practice Award
  D. Paris Kanellakis Theory and Innovation Award
  Answer: 