Dr. J Strother Moore
Dr. J Strother Moore Member
Admiral B.R. Inman Centennial Chair in Computing Theory Emeritus, The University of Texas
Austin, TX, United States
More Info
  • 2007
  • Computer Science & Engineering
More Info
  • 2007
  • Computer Science & Engineering
Election Citation
For contributions to automated reasoning about computing systems.