Reed Thesis Projects

• Claire Matthew - Reinformcent Learning in the Seargent Major Card Game (Co-advised with Greg Anderson)
• Migue Esteve - Algebraic and Generic Group Models (Co-advised with Adam Groce)
• Lily Larsen - Monsky's Theorem
• Doran Penner - Conflict-free Replicated Data Types (Co-advised with Jim Fix)
• Elena O'Grady - Monotonicity in Ranked Choice Voting
• Cameron Adams - A Mathematical Exploration of Abstract Interpretation
• Lixing Yi - Hilbert-Kunz Functions of Powers of Diagonal Hypersurfaces
• Amelie el Mahmoud - Invariants of Phylogenetic Tree Construction
• Moss - O-sequences and some Surround Complexity Problems (Co-advised with Adam Groce)
• Akash Genesa - Reinforcement Learning for Theorem Proving in First-Order Logic
• Kush Arya - Verifying Arithmetic Incompleteness (Co-advised with Adam Groce)
• David Carlip - An approach to Hilbert-Kunz Multiplicity
• Ethan McDonald - Exploring Memory Tiering Policies for Comosable Memory Systems (Co-advised with Charles McGuffey)
• Roscoe Haynie - Zero-Knowledge Proofs (Co-advised with Chanathip Namprempre)
• Jacob Finklestein - The Prime Number Theorem
• Sean O'Donnel - Primes in Extensions
• Emmanuel Arthur - Stable Roomate Problem with Globally-Ranked Pairs (Co-advised with David Ramirez)
• George Zhao - A Construction of Derived Categories and Derived Functors
• Catherine Gong - Group Actions in Music Theory
• Hrishee Shastri - Interleaved and Demand Aware Skip Graphs (Co-advised with Jim Fix)
• Evan Franchere - Computing Diagonal Cartier Alegrabs of Affine Toric Varieties