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