Ronald Fagin
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.
citation
For creating the field of finite model theory, and for fundamental research in relational database theory and in reasoning about knowledge.