This will be an introductory talk about Topological Quantum Computation. TQC is attractive because it is intrinsicaly decoherence free. We introduce the basic notions, such as non abelian anyons, quantum symmetries and topological order. A topologically ordered phase is a gapped phase in which the basic degrees of freedom are of a topological nature (denoted as anyons), charactetized by their fusion and braiding properties. If time permits possible implementations based on Quantum Hall systems will be discussed as well.