Bakhadyr M. Khoussainov ( ruso : Бахадыр Хусаинов [1] ) es un informático y matemático , que nació y se educó en la Unión Soviética , trabaja en los campos de la lógica matemática , la teoría de la computabilidad , la teoría de modelos computables y la informática teórica . [2] Con Anil Nerode , es cofundador de la teoría de estructuras automáticas, [3] que es una extensión de la teoría de grupos automáticos .
Khoussainov recibió su título universitario en el Departamento de Matemáticas de la Universidad Estatal de Novosibirsk en 1984. En 1988, recibió su título de Candidato en Ciencias (equivalente a un doctorado ) en Álgebra y Lógica de la Universidad Estatal de Novosibirsk con la supervisión de un académico de la Academia Rusa. de Ciencias Sergei Goncharov .
En 1991, Khoussainov se unió a la Universidad de Cornell y obtuvo un H.C. Wang Asistente de Cátedra en el Departamento de Matemáticas de 1995 a 1997.
En 1996, Khoussainov se incorporó a la Universidad de Auckland y permaneció hasta 2021, cuando se trasladó a la UESTC .
Khoussainov ha ocupado cargos visitantes en la Universidad de Cornell , la Universidad de Chicago , la Universidad Nacional de Singapur , la Universidad de Kyoto , JAIST y la Universidad de Wisconsin-Madison .
Khoussainov es coganador (junto con Cristian Calude , Sanjay Jain, Wei Li y Frank Stephan) del premio STOC 2017 al mejor artículo [4] por un algoritmo de tiempo cuasi polinomial que decide juegos de paridad . Por este trabajo, Khoussainov y los coautores de este artículo recibieron el Premio Nerode EATCS-IPEC 2021 . [5] En 2023, mientras trabajaba en la UESTC, China, Khoussainov también fue elegido miembro extranjero de la Academia Europaea , la Academia Europea de Ciencias, Humanidades, Letras y Derecho.
Miembro de la Royal Society de Nueva Zelanda , [6] Khoussainov también ha recibido: