Jacob Shapiro - Princeton University We study spinful non-interacting electrons moving in two-dimensional materials which exhibit a spectral gap about the Fermi energy as well as time-reversal invariance. Using Fredholm theory we revisit the (known) bulk topological invariant, define a new one for the edge, and show their equivalence (the bulk-edge correspondence) via homotopy.