Phokion G. Kolaitis' Home Page at UC Santa Cruz
Phokion G. Kolaitis' Home Page at UC Santa Cruz
Ph.D. Students Supervised
Jonathan Panttaja, 2006
Dissertattion Title:
Complexity in Databases, Games, and Logic
Delbert D. Bailey, 2004
Dissertation Title:
Structural Phase Transitions of Boolean Satisfiability Variants
Albert Atserias
, 2002
Dissertation Title:
Fixed-Point Logics, Descriptive Complexity, and Random Satisfiability
Ian Barland
, 1996
Dissertation Title:
Expressing Optimization Problems as Integer Programs, and Undirected Path Problems: a Descriptive Complexity Approach
Madhukar Thakur, 1993
Dissertation Title:
Descriptive Complexity of Optimization and Counting Problems
Genealogy Tree
:
To Leibniz through Moschovakis, Kleene and Church
Phokion G. Kolaitis Computer Science Department University of California, Santa Cruz Santa Cruz, CA 95064, USA (831) 459-4768 kolaitis at cs.ucsc.edu