Moshe Vardi

University Professor, Karen Ostrum George Distinguished Service Professor in Computational Engineering, Rice University