Phokion Kolaitis#


Phokion Kolaitis
Email:kolaitis 'at' cs.ucsc.edu
Membership Number:4497
Membership type:FOREIGN
Main Country of Residence:UNITED STATES
Section:INFORMATICS
Username:pkolaitis
Elected:2017
Homepage: 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
  • Logic in computer science
  • Computational complexity

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

Imprint Privacy policy « This page (revision-8) was last updated on Sunday, 6. August 2017, 09:03 by System
  • operated by