ITP Thesis