Phokion G. Kolaitis ACM (nacido el 4 de julio de 1950) es un científico informático que actualmente es profesor de investigación distinguido en UC Santa Cruz y miembro principal del personal de investigación en el IBM Almaden Research Center . Sus intereses de investigación incluyen principios de sistemas de bases de datos, lógica en ciencias de la computación y complejidad computacional.
Kolaitis obtuvo una licenciatura en Matemáticas de la Universidad de Atenas en 1973 y una Maestría y Doctorado en Matemáticas de la Universidad de California, Los Ángeles en 1974 y 1978, respectivamente. [1]
Kolaitis es actualmente un profesor de investigación distinguido en el Departamento de Ingeniería y Ciencias de la Computación de la Universidad de California, Santa Cruz . También es miembro principal del personal de investigación en el grupo de teoría del IBM Almaden Research Center . Él es conocido por su trabajo en los principios de los sistemas de bases de datos , la lógica en la informática , la complejidad computacional , y otros campos relacionados. [2]
Intercambio de datos: semántica y respuesta a consultas, R Fagin , PG Kolaitis, RJ Miller , L Popa, Theoretical Computer Science 336 (1), 89-124 [3]
Contención de consultas conjuntivas y satisfacción de restricciones, PG Kolaitis, MY Vardi , Journal of Computer and System Sciences 61 (2), 302-332 [4]
Intercambio de datos: llegar al núcleo, R Fagin , PG Kolaitis, L Popa, ACM Transactions on Database Systems (TODS) 30 (1), 174-210 [5]