Міклош Айтай

Міклош Айтай
угор. Ajtai Miklós
Народився2 липня 1946(1946-07-02) (78 років)
Будапешт, Друга Угорська республіка[1]
Місце проживанняСан-Хосе
Країна Угорщина
Діяльністьматематик, інформатик, інженер
Alma materБудапештський університет (1976)[2]
Галузьтеорія складності обчислень
ЗакладIBM[3]
Університет Макгілла
Університет Каліфорнії в Сан-Дієго
Массачусетський технологічний інститут
Науковий керівникAndrás Hajnald[2]
Аспіранти, докторантиAndrás Kornaid[2]
ЧленствоУгорська академія наук
Національна академія наук США[4][5]
БатькоMiklós Ajtaid
Нагороди

Міклош Айтай (народився 2 липня 1946 року) — американський комп'ютерний фахівець у IBM Almaden Research Center угорського походження.

Навчання та громадська діяльність

[ред. | ред. код]

Міклош Айтай здобув ступінь кандидата наук у 1976 році в Угорській Академії наук.[6] З 1995 року він є членом Угорської Академії наук.

У 1998 році він був запрошеним спікером Міжнародного конгресу математиків у Берліні[7]. У 2012 році він був обраний членом Американської асоціації розвитку науки[8].

Наукова діяльність

[ред. | ред. код]

Один з результатів наукових пошуків Міклоша Айтая свідчить, що довжина доказів у численнях висловлень з принципу Діріхле для n елементів зростає швидше, ніж будь-який многочлен у n. Він також довів, що твердження «будь-які дві зліченні множини, які є еквівалентом другого порядку, також є ізоморфічними», і вони як узгоджуються, так і не залежать від теорії множин Цермело — Френкеля (zfc).

Міклош Айтай та Ендре Семереді довели теорему про кути, що є важливим кроком для узагальнення теореми Семереді. З Комлошем та Семереді він довів верхню межу ct2 / log t для числа теореми Ремзі R (3, t). Відповідна нижня межа була доведена Кімом лише в 1995 році. За цей результат він був нагороджений премією Фалькенсона. Із Чваталом та Семереді Міклош Айтай довів нерівність числа схрещень, що будь-який малюнок графа з n вершинами та m ребрами, де m> 4n, має щонайменше м3 / 100n2 схрещень. Айтай та Дворк розробляли в 1997 році криптосистему з відкритим ключем на основі асиметричних алгоритмів шифрування. Міклош Айтай провів велику роботу з вивчення асиметричних алгоритмів шифрування. За численні внески в теоретичну комп'ютерну науку він отримав премію Кнута[9].

Нагороди

[ред. | ред. код]

У 2003 році він був нагороджений премією Кнута за великий внесок в теоретичну комп'ютерну науку, включаючи класичний алгоритм сортувальної мережі (розроблений спільно з Дж. Комлосом та Ендре Семереді), експоненціальні нижні межі, суперлінійні компроміси у часовому просторі для програм розгалуження, а також інші «унікальні та вражаючі» результати.

Вибрані статті

[ред. | ред. код]
  1. Ajtai, M. (1979), Isomorphism and higher order equivalence, Annals of Mathematical Logic, 16 (3): 181—203, doi:10.1016/0003-4843(79)90001-9
  2. Ajtai, M.; Komlós, J.; Szemerédi, E. (1982), Largest random component of a k-cube, Combinatorica, 2 (1): 1—7, doi:10.1007/BF02579276

Примітки

[ред. | ред. код]
  1. ідентифікатор PIM
  2. а б в Математичний генеалогічний проєкт — 1997.
  3. https://www.nasonline.org/about-nas/events/annual-meeting/nas159/2021-ceremony.html
  4. https://www.nasonline.org/member-directory/members/20051882.html
  5. https://www.nasonline.org/news-and-multimedia/news/2021-nas-election.html — 2021.
  6. Magyar Tudományos Akadémia, Almanach, 1986, Budapest.
  7. Ajtai, Miklós (1998). Worst-case complexity, average-case complexity and lattice problems. Doc. Math. (Bielefeld) Extra Vol. ICM Berlin, 1998, vol. III. с. 421—428. Архів оригіналу за 24 липня 2020. Процитовано 30 серпня 2020.
  8. AAAS Members Elected as Fellows [Архівовано 15 квітня 2021 у Wayback Machine.], AAAS, 29 November 2012
  9. Архівована копія. Архів оригіналу за 14 травня 2021. Процитовано 30 серпня 2020.{{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання)

Посилання

[ред. | ред. код]