Phokion Kolaitis#
| Membership Number: | 4497 |
| Membership type: | FOREIGN |
| Section: | INFORMATICS |
| Elected: | 2017 |
| Main Country of Residence: | UNITED STATES |
| Homepage(s): | https://users.soe.ucsc.edu/~kolaitis |
Present and Previous Positions
- 2012 - present Distinguished Professor of Computer Science, University of California Santa Cruz (UC Santa Cruz)
- 2014 - present Principal Research Staff Member (part-time), Computer Science Principles and Methodologies, IBM Almaden Research Center
- 2014 - 2015 Chair, Computer Science Department, UC Santa Cruz
- 2008 - 2014 Research Staff Member (part-time), Computer Science Principles and Methodologies, IBM Almaden Research Center
- 2004 - 2008: Research Staff Member and Senior Manager, Computer Science Principles and Methodologies, IBM Almaden Research Center (on leave without pay from UC Santa Cruz)
- 2001 - 2002: Academic Visitor, Foundations of Computer Science Group, IBM Almaden Research Center, San Jose (on sabbatical leave from UC Santa Cruz)
- 1997 - 2001: Chair, Computer Science Department, UC Santa Cruz
- 1994 - 2012: Professor, Computer Science, UC Santa Cruz
- 1993 - 1994: Visiting Associate Professor, Computer Science Department, Stanford University (supported by a Guggenheim Fellowship and a sabbatical leave from UC Santa Cruz)
- 1990 - 1994: Associate Professor, Computer & Information Sciences, UC Santa Cruz
Fields of Scholarship
- Principles of database systems
- Computational complexity
- Logic in computer science
Honours and Awards
- 2017 Best Paper Award for the paper "Generalized Satisfiability Problems via Operator Assignments" (co-authored with A. Atserias and S. Severini), 21st International Symposium on Fundamentals of Computation Theory (FCT 2017)
- 2015 Best Paper Award for the paper "A Declarative Framework for Linking Entities" (co-authored with D. Burdick, R. Fagin, L. Popa, and W.-C. Tan), 18th International Conference on Database Theory (ICDT 2015)
- 2015 IBM Research Division Outstanding Innovation Award for "Synthesis of Schema Mappings from Data Examples".
- 2014 Honorary Doctoral Degree (Doctor Honoris Causa), Department of Mathematics and Department of Informatics & Telecommunications, University of Athens, Greece, November 2014
- 2014 ACM PODS Alberto O. Mendelzon Test-of-Time Award for the paper "Composing Schema Mappings: Second-Order Logic to the Rescue" (co-authored with R. Fagin, L. Popa, and W.-C. Tan)
- 2013 International Conference on Database Theory Test-of-Time Award for the paper "Data Exchange: Semantics and Query Answering" (co-authored with R. Fagin, R.J. Miller, and L. Popa)
- 2012 ACM Symposium on Principles of Database Systems (PODS) Recognition of Service Award
- 2012 Best Paper Award} for the paper "Learning Schema Mappings" (co-authored with B. ten Cate and V. Dalmau), 15th International Conference on Database Theory (ICDT 2012)
- 2010 Fellow of the American Association for the Advancement of Science (AAAS), elected in December 2010
- 2009 Best Paper Award for the paper "Repair Checking in Inconsistent Databases: Algorithms and Complexity" (co-authored with F. Afrati) 12th International Conference on Database Theory (ICDT 2009)
- 2008 ACM PODS Alberto O. Mendelzon Test-of-Time Award for the paper "Conjunctive-query containment and constraint satisfaction" (co-authored with M.Y. Vardi).
- 2008 IBM Research Division Outstanding Technical Achievement Award for "Schema Mappings Research: Theory and Practice"
- 2007 Foreign Member, Finnish Academy of Science and Letters, elected in April 2007
- 2005 Fellow of the Association of Computing Machinery (ACM), elected in November 2005
- 2005 IBM Research Division Outstanding Innovation Award for "Foundations of Schema Mappings"
- 1995 Excellence in Teaching Award, awarded by the graduating computer science and computer engineer majors of UC
- Santa Cruz
- 1993 - 1994 Guggenheim Fellowship, awarded by the John Simon Guggenheim Memorial Foundation, September 1,
- 1993 to August 31, 1994
