Dr. Moshe Y. Vardi
Dr. Moshe Y. Vardi Member
George Distinguished Service Professor in Computational Engineering, Rice University
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.