Professor Bakh Khoussainov


I have a PhD (1988) from Algebra and Logic Department, Novosibirsk University, Russia. I have been in the Computer Science Department in the University of Auckland since 1996.

I held H.C.Wang Assistant Professorship at Cornell University and have had visiting positions at the University of Chicago, University of Wisconsin-Madison, Cornell University (all USA), Japan Advanced Institute of Science and Techology, Heidelberg University (Germany), National University of Singapore, Kyoto University. 

I have presented about 200 lectures and invited talks at international conferences and seminars. I have also been awarded Marsden Fund research grants for the periods 2001-2003, 2004-2006, 2007-2011, and 2011-2016. I am also a Fellow of Royal Society of New Zealand since 2005, Humboldt Fellow in 2002, JSPS Fellow (2000, 2013, 2015),  and Aitken Lecturer 2019. 

Research | Current

My research interests are in algorithms, computability, automata, logic, and applications.

Postgraduate supervision

Here is a list of research topics for students who would like to work on their Master or Doctoral degrees:

  1. Automatic structures
  2. Computable Model Theory
  3. Graph algorithms and complexity
  4. Games played on graphs and logic
  5. Topics in Model Checking, Specifications and Verfifications
  6. Randomness and Computability

With my support, all my PhD students during their study spend several semesters at the mathematics and computer science departments of Cornell University; this gives them the edge as they learn from the best, and take really cool graduate classes in mathematics and computer science. I have supervised 12 PhD students.


  • New Zealand Mathematical Society Research Award (2002).
  • University of Auckland Distinguished Teaching Award (2001).
  • Invitation Fellowships of Japan Society for Promotion of Science (2001, 2013, and 2015).
  • Humboldt Fund (2002)
  • Symphosium of the Theory of computation (STOC), best paper award (2017).
  • Hood research fellowship, The University of Auckland (2015).
  • 2019 Aitken Lecturer (selected by both the London Math Society and New Zealand Math Society).


Deputy HoD Research (2002-2009, 2010-2011).

Deputy HOD Academic (2013-2015)

A Member of the FSC (2017-Present)

Areas of expertise

Logic, Computability, Automata, Formal Languages, Complexity

Selected publications and creative works (Research Outputs)

As of 29 October 2020 there will be no automatic updating of 'selected publications and creative works' from Research Outputs. Please continue to keep your Research Outputs profile up to date.
  • Ganardi, M., & Khoussainov, B. (2020). Automatic equivalence structures of polynomial growth. Leibniz International Proceedings in Informatics, LIPIcs. 10.4230/LIPIcs.CSL.2020.21
  • Jain, S., Khoussainov, B., Schlicht, P., & Stephan, F. (2019). The isomorphism problem for tree-automatic ordinals with addition. INFORMATION PROCESSING LETTERS, 149, 19-24. 10.1016/j.ipl.2019.05.004
  • Gao, Z., Jain, S., Khoussainov, B., Li, W., Melnikov, A., Seidel, K., & Stephan, F. (2019). Random subgroups of rationals. Leibniz International Proceedings in Informatics, LIPIcs. 10.4230/LIPIcs.MFCS.2019.25
  • Ibragimov, G. I., Khoussainov, B., & Pauly, A. (2019). Computability Aspects of Differential Games in Euclidian Spaces. CoRR, abs/1903.00688.
  • Harrison-Trainor, M., Khoussainov, B., & Turetsky, D. (2019). Effective aspects of algorithmically random structures. COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 8 (3-4), 359-375. 10.3233/COM-180101
  • Khoussainov, B., & Takisaka, T. (2019). Large Scale Geometries of Infinite Strings. CoRR, abs/1908.03800.
  • Jain, S., Khoussainov, B., Schlicht, P., & Stephan, F. (2019). The isomorphism problem for tree-automatic ordinals with addition. Inf. Process. Lett, 149, 19-24.
  • Avazov, N., Liu, J., & Khoussainov, B. (2019). Periodic Neural Networks for Multivariate Time Series Analysis and Forecasting. Paper presented at International Joint Conference on Neural Networks (IJCNN), Budapest, HUNGARY. 14 July - 19 July 2019. 2019 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN). (pp. 8).
    Other University of Auckland co-authors: Jiamou Liu

Contact details

Primary office location

SCIENCE CENTRE 303 - Bldg 303
Level 4, Room 405
New Zealand

Web links