Ronald Fagin

Digital Library

ACM Fellows

USA - 2000

citation

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