Phokion G. Kolaitis Explained

Phokion G. Kolaitis
Birth Date:	1950 7, df=yes
Birth Place:	Athens, Greece
Field:	Database systems Logic in Computer Science Computational Complexity
Alma Mater:	University of Athens UCLA
Doctoral Advisor:	Yiannis N. Moschovakis
Prizes:	Guggenheim Fellowship NKUA Honorary Doctorate Alonzo Church Award

Phokion G. Kolaitis ^ACM (born July 4, 1950) is a computer scientist who is currently a Distinguished Research Professor at UC Santa Cruz and a Principal Research Staff Member at the IBM Almaden Research Center. His research interests include principles of database systems, logic in computer science, and computational complexity.

Education

Kolaitis obtained a bachelor's degree in mathematics from the University of Athens in 1973 and a master's degree and Ph.D in Mathematics from the University of California, Los Angeles in 1974 and 1978, respectively.^[1]

Career and research

Kolaitis is currently a Distinguished Research Professor at the Computer Science and Engineering Department of University of California, Santa Cruz. He is also a Principal Research Staff Member in the theory group at the IBM Almaden Research Center. He is known for his work on principles of database systems, logic in computer science, computational complexity, and other related fields.^[2]

Selected publications

Data exchange: semantics and query answering, R Fagin, PG Kolaitis, RJ Miller, L Popa, Theoretical Computer Science 336 (1), 89-124^[3]

Conjunctive-query containment and constraint satisfaction, PG Kolaitis, MY Vardi, Journal of Computer and System Sciences 61 (2), 302-332^[4]

Data exchange: getting to the core, R Fagin, PG Kolaitis, L Popa, ACM Transactions on Database Systems (TODS) 30 (1), 174-210^[5]

Composing schema mappings: Second-order dependencies to the rescue, R Fagin, PG Kolaitis, L Popa, WC Tan, ACM Transactions on Database Systems (TODS) 30 (4), 994-1055^[6]

On the decision problem for two-variable first-order logic, E Grädel, PG Kolaitis, MY Vardi, Bulletin of Symbolic Logic, 53-69^[7]

Recognition

• • 1993 Guggenheim Fellowship, John Simon Guggenheim Memorial Foundation 2005 Fellow, Association for Computing Machinery^[8]
• 2007 Foreign Member, Finnish Academy of Science and Letters
• 2008 Association for Computing Machinery PODS Alberto O. Mendelzon Test-of-Time Award for the paper “Conjunctive-Query Containment and Constraint Satisfaction” (co-authored with Moshe Y. Vardi)
• 2010 Fellow, American Association for the Advancement of Science ^[9]
• 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)
• 2014 Honorary Doctoral Degree, Department of Mathematics and Department of Informatics & Telecommunications, University of Athens, Greece^[10]
• 2014 Association for Computing Machinery 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)
• 2017 Foreign Member, Academia Europaea
• 2020 Alonzo Church Award for Outstanding Contributions to Logic and Computation (Co-Winner)^[11]

External links

• UC Santa Cruz homepage

Notes and References

1. Web site: Curriculum Vitae. Phokion G. Kolaitis.
2. Web site: Phokion Kolaitis Special Event at SIGMOD 2019.
3. 2005-05-25. Data exchange: semantics and query answering. Theoretical Computer Science. en. 336. 1. 89–124. 10.1016/j.tcs.2004.10.033. 0304-3975. Fagin. Ronald. Kolaitis. Phokion G.. Miller. Renée J.. Popa. Lucian. free.
4. 2000-10-01. Conjunctive-Query Containment and Constraint Satisfaction. Journal of Computer and System Sciences. en. 61. 2. 302–332. 10.1006/jcss.2000.1713. 0022-0000. Kolaitis. Phokion G.. Vardi. Moshe Y.. free.
5. Fagin. Ronald. Kolaitis. Phokion G.. Popa. Lucian. 2005-03-01. Data exchange: getting to the core. ACM Transactions on Database Systems. 30. 1. 174–210. 10.1145/1061318.1061323. 59942308. 0362-5915.
6. Fagin. Ronald. Kolaitis. Phokion G.. Popa. Lucian. Tan. Wang-Chiew. 2005-12-01. Composing schema mappings: Second-order dependencies to the rescue. ACM Transactions on Database Systems. 30. 4. 994–1055. 10.1145/1114244.1114249. 5768010. 0362-5915.
7. Grädel. Erich. Kolaitis. Phokion G.. Vardi. Moshe Y.. 1997. On the Decision Problem for Two-Variable First-Order Logic. The Bulletin of Symbolic Logic. 3. 1. 53–69. 10.2307/421196. 421196. 14868390 . 1079-8986.
8. Web site: 2005 ACM Fellows.
9. Web site: AAAS Fellows.
10. Web site: NKUA Doctorate.
11. Web site: 2020 Alonzo Church Award.