Moshe Y. Vardi, a George Distinguished Service Professor in Computational Engineering and Director of the Ken Kennedy Institute for Information Technology at Rice University based in the United States,...