The University of Auckland | The Department of Computer Science>
Homepage updated: 9 May 2011

Alexander G. Melnikov
Office: Room 576, Science Centre Building 303, 38 Princes St, Auckland 1010
Address: Private Bag 92019, Auckland 1142, New Zealand
Phone: 64 9 373 7599 ext. 82281
Email: a.melnikov_at_cs.auckland.ac.nz, vokinlem_at_bk.ru
Position: PhD Student since November 2008
Department: Computer Science

Biography

In 2006 I graduated from The Department of Mechanics and Mathematics of Novosibirsk State University at the age of 21. In 2008 I got MSc in Mathematics and Theoretical Computer Science under the supervision of Prof. Sergey S. Goncharov. At the moment, I'm near to finish my PhD under the supervision of Prof. Bakhadyr Khoussainov and Prof. Andre Nies. Very soon I will join Prof. Wu as a postdoc. I'm planning to submit my thesis in April, 2012.

Research

My main research topic is computable commutative algebra and effective analysis. My interests also include pure computability theory, randomness, and their connections to computable algebra and analysis. See my CV here. See also my research statement. I also put links to some of my papers:

Papers:

Jump Degrees of Torsion-Free Abelian Groups (submitted), with Brooke Andersen, Asher Kach and D. Reed Solomon. pdf
Effectively categorical abelian groups (submitted), with Rod Downey. pdf
Limitwise Monotonic Sequences and Degree Spectra of Structures (to appear in PAMS), with Iskander Kalimullin and Bakhadyr Khoussainov. pdf
Randomness and K-triviality in computable metric spaces (to appear in PAMS), with Andre Nies. pdf
Ulm type, and coding rank-homogeneous trees in other structures, (to appear in JSL), with Ekaterina Fokina, Julia F. Knight, C. Maher, and Sara Quinn. pdf
Enumerations and Completely Decomposable Torsion-Free Abelian Groups, Theory Comput. Syst. 45(4): 897-916 (2009). pdf
Decidability and Computability of Certain Torsion-Free Abelian Groups, Notre Dame Journal of Formal Logic, vol 51, number 1, 2010, with Rod Downey, Sergei S. Goncharov, Asher Kach, Julia F. Knight, Oleg V. Kudinov, and Daniel Turetsky. pdf