Students

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.