Research Dissertation/Thesis Title: Rigorous, Subexponential Algorithms for Discrete Logarithms Over Finite Fields