Miklos Ajtai
IBM Almaden Research Center
Generalizations of the Compactness Theorem and Godel's Completeness Theorem for Nonstandard Finite Structures

Fan Chung Graham
University of California, San Diego
Detecting sharp drops in PageRank and a simplified local partitioning algorithm