Computer Science PhD Dissertation