Ronald Fagin | |
---|---|
Born | 1945 (age 79–80) Oklahoma City, Oklahoma, U.S. |
Alma mater | Dartmouth College, University of California, Berkeley |
Known for | Fagin's theorem |
Awards | Gödel Prize (2014), W. Wallace McDowell Award (2012), SIGMOD Edgar F. Codd Innovations Award (2004) |
Scientific career | |
Fields | Logic in Computer Science, Database theory, Finite model theory, Rank and score aggregation, Reasoning about knowledge |
Institutions | IBM Almaden Research Center |
Doctoral advisor | Robert Lawson Vaught |
Ronald Fagin (born 1945) is an American mathematician and computer scientist, and IBM Fellow at the IBM Almaden Research Center. He is known for his work in database theory, finite model theory, and reasoning about knowledge.[1]