Phokion Kolaitis

Professor Emeritus, UC Santa Cruz and IBM Research
Phokion Kolaitis is 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. Kolaitis is a Fellow of the American Association for the Advancement of Science (AAAS), a Fellow of the Association for Computing Machinery (ACM), a Foreign Member of the Finnish Academy of Science and Letters, a Foreign Member of Academia Europaea, and the recipient of a 1993 Guggenheim Fellowship. He is also the recipient of two IBM Research Division Outstanding Innovation Awards, an IBM Research Division Outstanding Technical Achievement Award, a co-winner of both the 2008 and the 2014 ACM PODS Alberto O. Mendelzon Test-of-Time Award, a co-winner of the 2013 International Conference on Database Theory Test-of-Time Award, and a co-winner of the 2020 Alonzo Church Award for Outstanding Contributions to Logic and Computation.

Program Visits

Logic and Algorithms in Database Theory and AI, Fall 2023, Visiting Scientist
Extended Reunion: Satisfiability, Spring 2023, Visiting Scientist
Satisfiability: Theory, Practice, and Beyond, Spring 2021, Visiting Scientist
Logical Structures in Computation, Fall 2016, Visiting Scientist and Program Organizer
Principles of database systems, logic in computer science, computational complexity