Dr. Moshe Y. Vardi

Title
George Distinguished Service Professor in Computational Engineering
Organization
Rice University
Election Year
2002
Primary Section
05. Computer Science & Engineering
Member Type
Member
Dr. Moshe Y. Vardi
Election Citation
For contributions to the formal verification of hardware and software correctness.