Thesis: Batalin-Vilkovisky formalism in locally covariant field theory (arXiv:1111.5130) on BV-BRST formalism in AQFT.