PhD in Computer Science Dissertation