Professor Bakh Khoussainov

Professor

In: School of Computer Science » Faculty of Science

Biography

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:

Automatic structures
Computable Model Theory
Graph algorithms and complexity
Games played on graphs and logic
Topics in Model Checking, Specifications and Verfifications
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.

Distinctions/Honours

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

Responsibilities

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)

Ganardi, M., & Khoussainov, B. (2020). Automatic Equivalence Structures of Polynomial Growth.. CSL.
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
Avazov, N., Liu, J., & Khoussainov, B. (2019). Periodic Neural Networks for Multivariate Time Series Analysis and Forecasting. Proceedings of the International Joint Conference on Neural Networks. 10.1109/IJCNN.2019.8851710
Other University of Auckland co-authors: Jiamou Liu
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.