  The unique constraints on neutrino oscillations which can be obtained by
measuring the energy spectrum of supernova $\bar{\nu}_e$'s are first discussed.
The focus is on 4-neutrino mass and mixing models capable of explaining the
LSND evidence of $\bar{\nu}_{\mu}\to \bar{\nu}_e$ oscillations.
  The potential of the Fermilab neutrino detector MiniBooNE to observe
supernova neutrinos is then addressed, and a general description of the
detector is given. As of May, 2002, the MiniBooNE detector is fully
operational.
