Valentina Harizanov

Doctoral Students

• Henry Klatt, PhD, in progress,
  
• Philip White, PhD candidate, in progress.
• Keshav Srinivasan, PhD candidate, in progress.
• 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 (modeling analyst at Geico).
  
• 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 (professor at NVCC; was a civil servant at Census Bureau).
• Kai Maeda, Self-Distributive Magmas and Their Richter's Degrees, Department of Mathematics, PhD, 2013 (research position at the Okinawa Institute of Science and Technology).
  
• Jennifer Chubb, Ordered Structures and Computability, Department of Mathematics, PhD, 2009 (associate professor at the University of San Francisco).
• Sarah Pingrey, Strong Degree Spectra of Relations, Department of Mathematics, PhD, 2008 (associate professor at Colorado Technical University; was assistant professor at the American University in Cairo).
• Eric Ufferman, Structures and Partial Computable Automorphisms, Abstract, Department of Mathematics, PhD, 2006 (instructor at Virginia Tech; was assistant professor at St. Olaf College, Minnesota).
• Gosia Dabkowska, Turing Degree Spectra of Groups and Their Spaces of Orders, Abstract, Department of Mathematics, PhD, 2006 (senior lecturer at the University of Texas at Dallas).
• 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 (associate professor at BCC, CUNY).
• Rumen Dimitrov, Computably Enumerable Vector Spaces, Dependence Relations, and Turing Degrees, Abstract, Department of Mathematics, PhD, 2002 (professor at Western Illinois University).
• Timothy McNicholl, The Inclusion Problem for Generalized Frequency Classes, Abstract, Department of Mathematics, PhD, 1995 (professor at Iowa State University in Ames; was associate professor at Lamar University, Texas.
• 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 (World Bank, Washington, DC).

Undergraduate Students (Senior Honors Projects)

• 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.