Bakhadyr Khoussainov
Bakhadyr Khoussainov (Cyrillic: Бахадыр Хусаинов[1]) is a computer scientist and mathematician at the University of Electronic Science and Technology of China, working in mathematical logic, computability theory, computable model theory and algorithms.[2] With Anil Nerode, he is the co-founder of the theory of automatic structures,[3] which is an extension of the theory of automatic groups.
Career
Khoussainov received his undergraduate degree from the Mathematics Department of Tashkent University in 1981. In 1988, he received his Candidate of Sciences degree (equivalent to a PhD) in Algebra and Logic from Novosibirsk State University under Sergei Goncharov.
In 1991 Khoussainov joined Cornell University and held an H.C. Wang Assistant Professorship at the Mathematics Department from 1995 to 1997.
In 1996 Khoussainov joined the University of Auckland, and remained until 2021 when he moved to the UESTC.
Khoussainov has held visiting positions at Cornell University, the University of Chicago, the National University of Singapore, Kyoto University, JAIST and the University of Wisconsin-Madison.
Awards and recognition
Khoussainov is a co-winner (together with Cristian Calude, Sanjay Jain, Wei Li and Frank Stephan) of the STOC 2017 best paper award[4] for a quasi-polynomial time algorithm deciding parity games. For this work, Khoussainov and this paper's co-authors were awarded the 2021 EATCS-IPEC Nerode Prize.[5]
A fellow of the Royal Society of New Zealand,[6] Khoussainov has also received:
- the 2021 Chinese National Natural Science Foundation grant;
- the 2020 Humboldt prize;[7]
- the 2019 Aitken Lecturership;[8]
- multiple JSPS Invitation Fellowships (2001, 2012, and 2014);[9]
- multiple Marsden Fund grants (2001, 2004, 2008 and 2012);[10]
- the 2002 Research Excellence Award of the New Zealand Mathematical Society.[11]
References
- "Бахадыр Хусаинов" (PDF). Новая Зеландия говорит по-русски 2013. p. 134.
- "People – Algorithms and Logic Group in UESTC". Retrieved 2022-04-30.
- Khoussainov, Bakhadyr; Nerode, Anil (1995). Leivant, Daniel (ed.). "Automatic presentations of structures". Logic and Computational Complexity. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer. 960: 367–392. doi:10.1007/3-540-60178-3_93. ISBN 978-3-540-44720-7.
- "ACM SIGACT - STOC Best Paper Award". www.sigact.org. Retrieved 2021-02-06.
- "IPEC Nerode Prize".
- "View our current Fellows". Royal Society Te Apārangi. Retrieved 2021-02-06.
- "Bakh Khoussainov receives Humboldt Research Award | New Zealand Association of von Humboldt Fellows". www.humboldt.org.nz. Retrieved 2021-02-06.
- "LMS-NZMS Forder and Aitken Lectureships of London Mathematical Society". www.lms.ac.uk. Retrieved 2021-02-06.
- "Invitational Fellowships for Research in Japan | Japan Society for the Promotion of Science". www.jsps.go.jp. Retrieved 2022-04-30.
- "Search Marsden awards 2008–2017". Royal Society Te Apārangi. Retrieved 2021-02-06.
- "New Zealand Mathematical Society : Awards and Prizes". nzmathsoc.org.nz. Retrieved 2021-02-06.