Phokion G. Kolaitis

Professor, UC Santa Cruz and IBM Research - Almaden

Visiting Scientist

Program: Extended Reunion: Satisfiability

Dates of Visit: Mar. 13–May 12, 2023

Phokion Kolaitis is a Distinguished 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.

Program Visits

Extended Reunion: Satisfiability, Spring 2023. Visiting Scientist.
Satisfiability: Theory, Practice, and Beyond, Spring 2021. Visiting Scientist.
Logical Structures in Computation, Fall 2016. Visiting Scientist, Program Organizer and Workshop Organizer.