Ronald Fagin

Ronald Fagin is an IBM Fellow at the IBM Almaden Research Center. He has won an IBM Corporate Award, eight IBM Outstanding Innovation Awards, an IBM Outstanding Technical Achievement Award, and two IBM key patent awards. He has published well over 100 papers, and has co-authored a book on "Reasoning about Knowledge." He has served on more than 30 conference program committees, including serving as Program Committee Chair of four different conferences. He received his B.A. in mathematics from Dartmouth College, and his Ph.D. in mathematics from the University of California at Berkeley. He was named a Fellow of IEEE for "contributions to finite-model theory and to relational database theory." He was named a Fellow of ACM for "creating the field of finite model theory and for fundamental research in relational database theory and in reasoning about knowledge."

He was named a Fellow of AAAS (American Association for the Advancement of Science), for "fundamental contributions to computational complexity theory, database theory, and the theory of multi-agent systems." He was named Docteur Honoris Causa by the University of Paris, and a "Highly Cited Researcher" by ISI (the Institute for Scientific Information). He has won Best Paper awards at the 1985 International Joint Conference on Artificial Intelligence, the 2001 ACM Symposium on Principles of Database Systems, and the 2010 International Conference on Database Theory, and the Alberto O. Mendelzon Test-of-Time award in the 2011 ACM Symposium on Principles of Database Systems,. He won a 2011 IEEE Technical Achievement Award "for pioneering contributions to the theory of rank and score aggregation." He was the winner of the 2004 ACM SIGMOD Edgar F. Codd Innovations Award, a lifetime achievement award in databases, for "fundamental contributions to database theory."