Students
Master’s projects
Borel reducibility and conjugacy equivalence relations
An Msci project by Xinya Wang, 2023–2024
Tukey morphisms between finite binary relations
A master’s thesis by Rhett Barton, Summer 2021
Zariski geometries and quantum mechanics
A master’s thesis by Milan Zanussi, Spring 2021
Computable reducibility of equivalence relations
A master’s thesis by Gianni Krakoff, Spring 2019
The classification problem for models of set theory
A master’s thesis by Samuel Dworetzky, Spring 2017
On the classification of vertex-transitive structures
A master’s thesis by Stephanie Potter, Spring 2017
On the conjugacy problem for automorphisms of trees
A master’s thesis by Kyle Beserra, Spring 2016
Undergraduate projects
Motivated proof in diagonal arguments
An undergraduate project by Huaiyuan Shen, Summer 2025
Computable reducibility of equivalence relations
An undergraduate project by Archie Worth, Summer 2025
Counting, anyone can do it
A senior project by Joseph Knebel, Spring 2023
An overview of set theory
A senior presentation by Pangaea Finn, Spring 2023
Introductory elliptic curves
A senior project by Miley House, Spring 2023
Hilbert spaces
A senior presentation by Jacob Druell, Fall 2022
Dual spaces
A senior presentation by Samuel Clark, Fall 2022
Ramsey’s theorem
A senior presentation by Anna Rift, Spring 2022
A different way to approach integration by parts
A senior thesis by Noah Cross, Spring 2022
Barcodes and their secrets
A senior presentation by Jean Wartha, Spring 2022
The PID controller algorithm
A senior presentation by Ryan Amidan, Fall 2021
Pythageorean theorem
A senior project by Kennedy Burgess, Spring 2021
Four color theorem
A senior presentation by Samantha Decker, Spring 2021
The history and application of Benford’s law
A senior presentation by Hunter Clark, Fall 2020
Internal sorting methods
A senior presentation by Rebekah Bitikofer, Fall 2020
Combinatorial designs
A senior presentation by Thomas Brice, Spring 2020
The nametag problem
A senior thesis by Christian Carley, Spring 2019. Rose Hulman Undergraduate Journal of Mathematics 21(1):9.
The hyperreals; do you prefer non-standard analysis over standard analysis?
A senior presentation by Chloe Munroe, Spring 2019
Fractals, what are they?
A senior presentation by Nicole Reese, Spring 2019
Pythagorean theorem area proofs
A senior project by Rachel Morley, Fall 2018
Euclidian geometry proposed lesson plans
A senior project by Joe Willert, Fall 2018
Spherical trigonometry
A senior presentation by Phung Le, Spring 2018
Solving polynomial equations by radicals
A senior thesis by Mack Fox, Fall 2016
An examination of the euclidean algorithm
A senior thesis by Ethan Stieha, Fall 2016
An introductory look at deterministic chaos
A senior thesis by Ken Coiteux, Spring 2014
Axioms of set theory and equivalents of axiom of choice
A senior thesis by Farighon Abdul Rahim, Spring 2014