Ronald Fagin
Ph.D. in Mathematics from the University of California, Berkeley, IBM Fellowat IBM Almaden Research Center, IBM Fellow- Thomas J. Watson Research Center Research Division from 1973-1975, Orogram committee chair for ACM Symposium on Principles of Database Systems 1984, Member of the National Academy of Engineering, American Academy of Arts and Sciences, IBM Fellow, ACM Fellow, IEEE Fellow, and Fellow of the American Association for the Advancement of Science, 2014 Gödel Prize and he received a Docteur Honoris Causa from the University of Paris.