  Coxeter groups are a special class of groups generated by involutions. They
play important roles in the various areas of mathematics. This survey
particularly focuses on how one uses Coxeter groups to construct interesting
examples of discrete subgroups of Lie groups.
