Bakhadyr Khoussainov es informático y matemático . Desde 2004 es profesor [1] de Ciencias de la Computación en la Universidad de Auckland en Nueva Zelanda .
Nació en Tashkent en 1961. Recibió su educación universitaria en el departamento de Matemáticas de la Universidad de Tashkent de 1978 a 1981.
En 1981, se trasladó a Novosibirsk para estudiar álgebra y lógica en el departamento de Matemáticas de la Universidad de Novosibirsk . En 1988, recibió su título de Candidato en Ciencias (equivalente a un doctorado ) en Álgebra y Lógica bajo la supervisión del profesor Sergei Goncharov . De 1996 a 1998, ocupó un H.C. Wang Asistente de cátedra en el Departamento de Matemáticas de la Universidad de Cornell . Khoussainov ha ocupado puestos de visitante en la Universidad de Cornell , la Universidad de Chicago , la Universidad Nacional de Singapur , la Universidad de Kyoto , el Instituto Avanzado de Ciencia y Tecnología de Japón y elUniversidad de Wisconsin-Madison . Sus intereses de investigación incluyen la lógica matemática , teoría de la computabilidad , la teoría de modelos computables , y los algoritmos. Con Anil Nerode , es el cofundador de la teoría de estructuras automáticas [2] (una extensión de la teoría de grupos automáticos ).
Premios
Khoussainov recibió el premio Humboldt 2020 (el primer informático neozelandés en recibirlo [3] ), miembro de la Royal Society of New Zealand , [4] y co-ganador del premio STOC 2017 al mejor artículo [ 5] (para diseñar un algoritmo de tiempo cuasi-polinomial que decide juegos de paridad ). También recibió el premio 2002 New Zealand Mathematical Society Research Excellence Award, [6] múltiples subvenciones del Marsden Fund , [7] la Aitken Lecturership 2019 [8] otorgada conjuntamente por la London Mathematical Society con la New Zealand Mathematical Society , y un Recipiente en varias ocasiones de la Beca por Invitación JSPS [9] (2001, 2012 y 2014).
Referencias
- ^ "Profesor Bakh Khoussainov - la Universidad de Auckland" . www.arts.auckland.ac.nz . Consultado el 6 de febrero de 2021 .
- ^ Khoussainov, Bakhadyr; Nerode, Anil (1995). Leivant, Daniel (ed.). "Presentaciones automáticas de estructuras" . Complejidad lógica y computacional . Apuntes de conferencias en Ciencias de la Computación. Berlín, Heidelberg: Springer. 960 : 367–392. doi : 10.1007 / 3-540-60178-3_93 . ISBN 978-3-540-44720-7.
- ^ "Bakh Khoussainov recibe el premio de investigación Humboldt | Asociación de becarios von Humboldt de Nueva Zelanda" . www.humboldt.org.nz . Consultado el 6 de febrero de 2021 .
- ^ "Ver nuestros becarios actuales" . Real Sociedad Te Apārangi . Consultado el 6 de febrero de 2021 .
- ^ "ACM SIGACT - Premio STOC al mejor artículo" . www.sigact.org . Consultado el 6 de febrero de 2021 .
- ^ "Sociedad Matemática de Nueva Zelanda: premios y premios" . nzmathsoc.org.nz . Consultado el 6 de febrero de 2021 .
- ^ "Buscar premios Marsden 2008-2017" . Real Sociedad Te Apārangi . Consultado el 6 de febrero de 2021 .
- ^ "LMS-NZMS Forder y Aitken Lectureships of London Mathematical Society" . www.lms.ac.uk . Consultado el 6 de febrero de 2021 .
- ^ "Becas por invitación para la investigación en Japón | Sociedad japonesa para la promoción de la ciencia" . www.jsps.go.jp . Consultado el 6 de febrero de 2021 .