Dr. Moshe Y. Vardi
Dr. Moshe Y. Vardi Member
George Distinguished Service Professor in Computational Engineering, Rice University
Houston, TX, United States
More Info
  • 2002
  • Computer Science & Engineering
More Info
  • 2002
  • Computer Science & Engineering
Election Citation
For contributions to the formal verification of hardware and software correctness.