Phokion G. Kolaitis
Professor, UC Santa Cruz and IBM Research - Almaden
Visiting Scientist and Program Organizer
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.
Extended Reunion: Satisfiability , Spring 2023Visiting Scientist
Satisfiability: Theory, Practice, and Beyond , Spring 2021Visiting Scientist
Logical Structures in Computation , Fall 2016Visiting Scientist and Program Organizer