Міклош Айтай | |
---|---|
угор. Ajtai Miklós | |
Народився | 2 липня 1946 (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 році він був нагороджений премією Кнута за великий внесок в теоретичну комп'ютерну науку, включаючи класичний алгоритм сортувальної мережі (розроблений спільно з Дж. Комлосом та Ендре Семереді), експоненціальні нижні межі, суперлінійні компроміси у часовому просторі для програм розгалуження, а також інші «унікальні та вражаючі» результати.
{{cite web}}
: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання)
Це незавершена стаття про IT-спеціаліста чи спеціалістку. Ви можете допомогти проєкту, виправивши або дописавши її. |