Principles and Methodologies - Awards
Recent Awards: External to IBM
Awards to People
- 2020 Alonzo Church Award for Outstanding Contributions to Logic and Computation: Ron Fagin and Phokion Kolaitis, with Renee Miller, Lucian Popa, and Wang-Chiew Tan
- 2020 Election to National Academy of Sciences: Ron Fagin
- 2018 IEEE Life Fellow: Ron Fagin
- 2017 Laurea Honoris Causa from Univwersity of Calibria in Italy: Ron Fagin
- 2014 INFORMS John von Neumann Theory Prize: Nimrod Megiddo
- 2014 Presburger Award: David Woodruff
- 2014 Election to American Academy of Arts and Sciences: Ron Fagin
- 2014 Election to National Academy of Engineering: Ron Fagin
- 2012 Fellow Election, American Association for the Advancement of Science: Miklos Ajtai
- 2012, Ron Fagin was named an IBM Fellow
- ACM Symposium on Principle of Database Systems (PODS) Special Recognition of Service Award, May 2012: Phokion Kolaitis
- 2012 IEEE W. Wallace McDowell Award: Ron Fagin won "for fundamental and lasting contributions to the theory of databases"
- 2011 SAET Fellow Election: Nimrod Megiddo
- 2011 IEEE Technical Achievement Award: Ron Fagin won "for pioneering contributions to the theory of rank and score aggregation"
- 2010 Fellow Election, American Association for the Advancement of Science: Phokion Kolaitis
- 2009 Informs Fellow Election: Nimrod Megiddo
- 2008 ACM Fellow Election: Ken Clarkson
- 2007: Phokion Kolaitis was elected a Foreign Member of the Finnish Academy of Science and Letters
- 2006 Fellow Election, American Association for the Advancement of Science: Ron Fagin
- 2005 ACM Fellow Election: Phokion Kolaitis
- The 2004 SIGMOD Edgar F. Codd Innovations Award was awarded to Ron Fagin
- The 2003 Knuth Prize was awarded to Miklos Ajtai
- 2001: Ron Fagin was named Docteur Honoris Causa of the University of Paris
Awards for Papers
- 2020 Symposium on Computational Geometry Test-of- Time Award, Ken Clarkson, with Peter Shor
- 2015 ICDT Best Paper Award, Ron Fagin and Phokion Kolaitis with Douglas Burdick, Lucian Popa, and Wang-Chiew Tan
- 2014 ACM Gödel Prize, for Outstanding Papers in Theoretical Computer Science, Ron Fagin with Amnon Lotem and Moni Naor
- 2014 FAST Test-of-Time Award, Nimrod Megiddo with Dharmendra Modha
- 2014 ACM PODS Alberto O. Mendelzon Test-of-Time Award, Ron Fagin and Phokion Kolaitis with Lucian Popa and Wang-Chiew Tan
- 2013 STOC Best Paper Award, Ken Clarkson and David Woodruff
- 2013 ICDT Test of Time Award, Ron Fagin and Phokion Kolaitis with Renee Miller and Lucian Popa
- 2012 ICDT Best Paper Award, Phokion Kolaitis with B. ten Cate and V. Dalmau
- 2011 ACM PODS Alberto O. Mendelzon Test-of-Time Award, Ron Fagin with Amnon Lotem and Moni Naor
- Best Paper Award, 26th IEEE Conference on Computational Complexity (CCC 2011), Ryan Williams
- Best Paper Award, 29th Annual ACM Symposium on Principles of Database Systems (PODS 2010), David Woodruff with Daniel Kane and Jelani Nelson
- Best Paper Award, 13th International Conference on Database Theory (ICDT, 2010), Ron Fagin with Marcelo Arenas and Alan Nash
- Best Paper Award, 12th International Conference on Database Theory (ICDT, 2009), Phokion Kolaitis with Foto Afrati
- An inaugural 2008 ACM PODS Alberto O. Mendelzon Test-of-Time-Award, Phokion Kolaitis
- Best Paper Award, Fall IEEE Vehicular Technology Conference (VTC 2007), Ken Clarkson with John Hobby
- 2005 SIAM Outstanding Paper Prize, Robert Krauthgamer with Uriel Feige (Weizmann Institute of Science; Microsoft Research)
- Best Paper Award, 2001 ACM Symposium on Principles of Database Systems (PODS 2001), Ron Fagin with Amnon Lotem and Moni Naor
Recent Awards: Internal to IBM
Awards to People
- 2015 Academy of Technology: David Woodruff was named a member of the IBM Academy of Technology
- 2015 Patent Portfolio Award: Nimrod Megiddo, for his outstanding contribution to the Efficient Retrieval of Uniform Resource Locators achievement
- 2015 Corporate Award: Ron Fagin, for pioneering research in rank and score aggregation
- 2010 Corporate Award: Ron Fagin, for advances in database theory
- 2009 Academy of Technology: Miklos Ajtai was named a member of the IBM Academy of Technology
- 2009 Master Inventor: Nimrod Megiddo was honored as an IBM Master Inventor
- 2007 Academy of Technology: Ron Fagin was named a member of the IBM Academy of Technology
Awards for Papers
- 2015 Pat Goldberg Memorial Best Paper Award was awarded to Vitaly Feldman, Anindya De (UC Berkeley), Iias Diakonikolas (UC Berkeley), and Rocco Servedio (Columbia Univ.)
- 2013 Pat Goldberg Memorial Best Paper Award was awarded to Ken Clarkson and David Woodruff
- 2012 Pat Goldberg Memorial Best Paper Award was awarded to Ken Clarkson, Elad Hazan, and David Woodruff
- 2010 Pat Goldberg Memorial Best Paper Award was awarded to Jelani Nelson (MIT), Daniel Kane (MIT), and David Woodruff
- 2008 Pat Goldberg Memorial Best Paper Award was awarded to Jacob Abernathy (UC Berkeley), Elad Hazan and Alexander Rakhlin (UC Berkeley) (Announced August 2009)
- 2005 Pat Goldberg Memorial Best Paper Award was awarded to Volker Markl, Peter Haas, Nimrod Megiddo, Marcel Kutsch (IBM Germany), T.M. Tran (IBM SVL), and Utkarsh Srivastava (former summer intern, Stanford) (Announced July 2006)
- 2004 Pat Goldberg Memorial Best Paper Award was awarded to Ron Fagin, Phokion Kolaitis, Lucian Popa, Wang-Chiew Tan (UC Santa Cruz) (Announced August 2005)
- 2003 Pat Goldberg Memorial Best Paper Award was awarded to Nimrod Megiddo and Dharmendra Modha (Announced August 2004)
- 2002 IBM Research CS/EE/Math Best Paper Award was awarded to Miklos Ajtai (Announced August 2003)
- 2001 IBM Research CS/EE/Math Best Paper Awards were awarded to Ron Fagin, Ravi Kumar, and D. Sivakumar (Announced August 2002)
Awards for Accomplishments, Innovations, or Patents
- 2018 IBM Research Division Accomplishment: Ron Fagin and Nimrod Megiddo, for “A logic for reasoning about probabilities”
- 2018 IBM Research Division Accomplishment: Ron Fagin and Phokion Kolaitis, with Lucian Popa, for “Foundations for inverses of schema mappings and applications to schema evolution management”
- 2018 IBM Research Division Accomplishment: Ken Clarkson, for "Coresets, Sparse Greedy Approximation, and the Frank-Wolfe Algorithm"
- 2018 IBM Research Division Outstanding Accomplishment: Ken Clarkson and David Woodruff, with Jie Chen, Georgios Kollias, Costas Bekas, Alessandro Curioni, Cristiano Malossi, for "Sketching-based Matrix Computations"
- 2018 IBM Research Division Accomplishment: Nimrod Megiddo for "Foundations of computational game theory, and complexity between P and NP"
- 2015 IBM Research Division Outstanding Accomplishment: Nimrod Megiddo and Dharmendra Modha, for "Advanced Caching Algorithms & Analysis for Storage Performance Enhancements"
- 2014 Research Division Accomplishment: Jan Vondrak for "Optimization of Submodular Functions"
- 2014 Research Division Accomplishment: Phokion Kolaitis and Bogdan Alexe for "Synthesis of Schema Mappings from Data Examples"
- 2014 Research Division Accomplishment: Costas Bekas, Alessandro Curioni, Ken Clarkson, Vikas Sindhwani, Haim Avron, David P Woodruff, Georgios Kollias, Yves Ineichen, Cristiano Maloissi, Kohichi Takeda, Yuquing Gao for "Low complexity kernels for cognitive computing"
- 2012 IBM Research Division Outstanding Accomplishment and Outstanding Technical Achievement Award: T. S. Jayram and David Woodruff, for "Processing Large Datasets: Algorithms and Computational Limits"
- 2008 IBM Outstanding Technical Achievement Award and 2006 IBM Outstanding Innovation Award: Ron Fagin and Phokion Kolaitis, with Lucian Popa, for schema mappings research
- 2007 IBM Supplemental Patent Issue Award: Ron Fagin and Nimrod Megiddo, with Moni. Naor, Dalit Naor, and Jeffrey Lotspiech, for key IBM patents on encryption keys
- 2005 IBM Research Division Accomplishment: Nimrod Megiddo, with Bruce Cassidy, Benny Gill, and Dharmendra Modha, for research on adaptive replacement caches
- 2005 IBM Research Division Accomplishment: Ron Fagin and Phokion Kolaitis, with Lucian Popa, for research on foundations of schema mappings. Was upgraded in 2007 (along with practice of schema mappings by Howard Ho, Laura Haas, and Mauricio. Hernandez) to an Outstanding IBM Research Division Accomplishment.
- 2004 IBM Research Division Accomplishment and IBM Outstanding Innovation Award: Miklos Ajtai, for lower bounds for branching programs
- 2004 IBM Outstanding Technical Achievement Award: Nimrod Megiddo, with Dharmendra Modha, for research on adaptive replacement cache algorithms
- 2003 IBM supplemental Patent Issue Award: Miklos Ajtai, Ron Fagin, and Larry Stockmeyer, with Randal Burns, Darrell Long, David Pease, Bernie Lopez, Robert Morris, and Norm Pass, for key IBM patents on differential backup
- 2003 IBM Research Division Accomplishment: David Gibson, Jon Kleinberg, Ravi Kumar, Sridhar Rajagopalan, and Andrew Tomkins, for research on using the link structure of the web
- 2002 IBM Outstanding Innovation Award: Miklos Ajtai, Ron Fagin and Larry Stockmeyer, with Randal Burns, for differential backup for Tivoli Storage Manager
- 2001 IBM Research Division Accomplishment and IBM Outstanding Innovation Award: Ron Fagin, for research on aggregation algorithms for middleware
Ron Fagin elected to National Academy of Sciences
IBM Fellow Ron Fagin was elected to the National Academy of Sciences. Ron is the only IBMer who is now a member of three national academies.
Tribute to John Backus
A tribute to John Backus, one of the first members of our Theory Group, written by Alex Aiken