Fellow
United States – 2012
CITATION

For contributions to finite model theory and database theory.