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