Moshe Y. Vardi, the Karen Ostrum George Distinguished Service Professor in Computational Engineering and director of the Ken Kennedy Institute for Information Technology at Rice University, will share with a colleague the 2018 Alonzo Church Award for Outstanding Contributions to Logic and Computation.