Бахадыр Хусаинов
Бахадыр М. Хусаинов ( русский : Бахадыр Хусаинов [1] ) — ученый-компьютерщик и математик , родившийся и получивший образование в Советском Союзе , работающий в области математической логики , теории вычислимости , теории вычислимых моделей и теоретической информатики . [2] Вместе с Анилом Нероде он является сооснователем теории автоматических структур. [3] которое является расширением теории автоматических групп .
Биография [ править ]
Хусаинов получил степень бакалавра математического факультета Новосибирского государственного университета в 1984 году. В 1988 году он получил степень кандидата наук (эквивалент PhD ) по алгебре и логике в Новосибирском государственном университете под руководством академика Российской академии. наук Сергей Гончаров .
В 1991 году Хусаинов поступил в Корнельский университет и получил степень H.C. Ван доцент кафедры математики с 1995 по 1997 год.
В 1996 году Хусаинов поступил в Оклендский университет и оставался там до 2021 года, когда перешел в UESC .
Хусаинов занимал должности приглашенного специалиста в Корнелльском университете , Чикагском университете , Национальном университете Сингапура , Киотском университете , JAIST и Университете Висконсин-Мэдисон .
Награды и признание [ править ]
Хусаинов является со-лауреатом (вместе с Кристианом Калуде , Санджаем Джайном, Вэй Ли и Фрэнком Стефаном) премии STOC 2017 за лучшую бумагу . [4] для квазиполиномиального алгоритма решения игр на четность . За эту работу Хусаинов и соавторы этой статьи были удостоены премии EATCS-IPEC Nerode Prize 2021 года . [5] В 2023 году, работая в UESTC, Китай, Хусаинов также был избран иностранным членом Academia Europaea , Европейской академии наук, гуманитарных наук, литературы и права.
Член Королевского общества Новой Зеландии , [6] Хусаинов также получил:
- 2020 года премия Гумбольдта ; [7]
- лекция Эйткена 2019 года; [8]
- несколько стипендий JSPS Invitation Fellowship (2001, 2012 и 2014 гг.); [9]
- многочисленные гранты Фонда Марсдена (2001, 2004, 2008 и 2012 годы); [10]
- Премия Новозеландского математического общества за выдающиеся достижения в исследованиях 2002 года . [11]
Ссылки [ править ]
- ^ «Бахадыр Хусаинов» (PDF) . Новая Зеландия говорит по-русски 2013 . п. 134.
- ^ «Люди – группа алгоритмов и логики в УЕСТК» . Проверено 30 апреля 2022 г.
- ^ Хусаинов, Бахадыр; Нероде, Анил (1995). «Автоматические представления структур» . В Лейванте, Дэниел (ред.). Логика и вычислительная сложность . Конспекты лекций по информатике. Том. 960. Берлин, Гейдельберг: Springer. стр. 367–392. дои : 10.1007/3-540-60178-3_93 . ISBN 978-3-540-44720-7 .
- ^ «ACM SIGACT — Премия STOC за лучшую бумагу» . www.sigact.org . Проверено 6 февраля 2021 г.
- ^ «Премия ИПЕК Нероде» .
- ^ «Посмотрите наших нынешних стипендиатов» . Королевское общество Те Апаранги . Проверено 6 февраля 2021 г.
- ^ «Бах Хусаинов получил премию Гумбольдта за исследования | Новозеландская ассоциация стипендиатов фон Гумбольдта» . www.humboldt.org.nz . Архивировано из оригинала 11 февраля 2021 г. Проверено 6 февраля 2021 г.
- ^ «LMS-NZMS Лекции Фордера и Эйткена Лондонского математического общества» . www.lms.ac.uk. Проверено 6 февраля 2021 г.
- ^ «Приглашенные стипендии для исследований в Японии | Японское общество содействия науке» . www.jsps.go.jp. Проверено 30 апреля 2022 г.
- ^ «Поиск наград Марсдена 2008–2017» . Королевское общество Те Апаранги . Проверено 6 февраля 2021 г.
- ^ «Новозеландское математическое общество: награды и премии» . nzmathsoc.org.nz . Проверено 6 февраля 2021 г.