Discrete flavor symmetries and models of neutrino mixing

Application of non-Abelian finite groups to the theory of neutrino masses and mixing is reviewed, which is strongly suggested by the agreement of the tribimaximal (TB) mixing pattern with experiment. After summarizing the motivation and the formalism, concrete models based on ${A}_{4}$, ${S}_{4}$, and other finite groups, and their phenomenological implications are discussed, including lepton flavor violating processes, leptogenesis, and the extension to quarks. As an alternative to TB mixing application of discrete flavor symmetries to quark-lepton complementarity and bimaximal mixing is also considered.