For creating the field of finite model theory, and for fundamental research in relational database theory and in reasoning about knowledge.

[Fellows]   [Awards]