  We describe the structure of finite Boolean inverse monoids and apply our
results to the representation theory of finite inverse semigroups. We then
generalize to semisimple Boolean inverse semigroups.
