Skip to content
Advanced features of this website require that you enable JavaScript in your browser. Thank you!
Doctoral Students at GW
Jeremias Valenzuela Morales, PhD, in progress.
Paula de Lima Souza, PhD, in progress.
Jake Rhody, PhD, in progress.
Henry Klatt, PhD, in progress.
Philip White, PhD candidate, in progress.
Keshav Srinivasan, Effective Ultrapowers of Computable Structures , Department of Mathematics, PhD, 2024.
Dario Verta, Computability Theory: Computable Magmas and Their Properties , PhD, 2023. (Recipient of NSF Graduate Fellowship, 2019-22.)
Iva Bilanovic, Detecting Properties of Algorithmically Presented Algebraic and Relational Structures , PhD, 2020.
Trang Ha, On Algorithmic Properties of Computable Magmas , PhD, 2018.
Hakim Walker, Computable Isomorphisms of Directed Graphs and Trees , PhD, 2017 (teaching position at Harvard). Recipient of GW Philip J. Amsterdam Graduate Teaching Award for 2016-17. See video .
Leah Marshall, Computability-Theoretic Properties of Partial Injections, Trees, and Nested Equivalences , PhD, 2015.
Kai Maeda, Self-Distributive Magmas and Their Richter's Degrees , Department of Mathematics, PhD, 2013.
Jennifer Chubb, Ordered Structures and Computability , Department of Mathematics, PhD, 2009.
Sarah Pingrey, Strong Degree Spectra of Relations , Department of Mathematics, PhD, 2008.
Eric Ufferman , Structures and Partial Computable Automorphisms , Abstract , Department of Mathematics, PhD, 2006.
Gosia Dabkowska, Turing Degree Spectra of Groups and Their Spaces of Orders , Abstract , Department of Mathematics, PhD, 2006.
Amir Togha, On Automorphisms of Structures in Logic and Orderability of Groups in Topology , Abstract , co-advised with Ali Enayat, Department of Mathematics, PhD, 2004.
Rumen Dimitrov, Computably Enumerable Vector Spaces, Dependence Relations, and Turing Degrees , Abstract , Department of Mathematics, PhD, 2002.
Timothy McNicholl, The Inclusion Problem for Generalized Frequency Classes, Abstract , Department of Mathematics, PhD, 1995.
Mathematical advisor for the interdisciplinary dissertation of Massoud Moussavi, A Six-Valued Logic for Modeling Incomplete Knowledge , Abstract , principal advisor Oscar Garcia, Electrical Engineering and Computer Science, PhD, 1991.
Undergraduate Students (Senior Honors Projects)
Paul Bianco, Spaces of Orders on Magmas , 2024.
Jacob Learned, Quantum Neural Networks , 2016.
Mariel Supina, Grover's Search Algorithm: Quantum Speed-Up , 2016.
Milica Taskovic, Axiom of Choice Across Mathematical Disciplines , 2014.
James Clark, Complexity of Orders on Computable Groups , 2014.
Andrew Hirsch, Turing Categories , 2013.
William C. Smith, Categorical Semantics of Quantum Protocols, 2012.