Moshe Vardi

Professor of computer science at Rice University. See http://www.cs.rice.edu/~vardi/bio.html