After reviewing results about the existence of tight contact structures on closed 3-manifolds, we show how to use Heegaard Floer theory (in particular, the contact Ozsvath-Szabo invariant) to verify tightness of certain contact structures on 3-maniolds given by surgery along specific knots in S^3.