Міклош Айтай
Міклош Айтай (народився 2 липня 1946 року) — американський комп'ютерний фахівець у IBM Almaden Research Center угорського походження.
| Міклош Айтай | |
|---|---|
| угор. Ajtai Miklós | |
| Народився | 2 липня 1946 (78 років) Будапешт, Друга угорська республіка[1] |
| Місце проживання | Сан-Хосе |
| Країна | .svg){kind=small} Угорщина |
| Діяльність | математик, інформатик, інженер |
| Alma mater | Будапештський університет (1976)[2] |
| Галузь | теорія складності обчислень |
| Заклад | IBM[3] Університет Макгілла Університет Каліфорнії в Сан-Дієго Массачусетський технологічний інститут |
| Науковий керівник | András Hajnald[2] |
| Аспіранти, докторанти | András Kornaid[2] |
| Членство | Угорська академія наук Національна академія наук США[4][5] |
| Батько | Miklós Ajtaid |
| Нагороди | |
Навчання та громадська діяльність
ред.Міклош Айтай здобув ступінь кандидата наук у 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 році він був нагороджений премією Кнута за великий внесок в теоретичну комп'ютерну науку, включаючи класичний алгоритм сортувальної мережі (розроблений спільно з Дж. Комлосом та Ендре Семереді), експоненціальні нижні межі, суперлінійні компроміси у часовому просторі для програм розгалуження, а також інші «унікальні та вражаючі» результати.
Вибрані статті
ред.- Ajtai, M. (1979), Isomorphism and higher order equivalence, Annals of Mathematical Logic, 16 (3): 181—203, doi:10.1016/0003-4843(79)90001-9
- 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
Примітки
ред.- ↑ ідентифікатор PIM
- ↑ а б в Математичний генеалогічний проєкт — 1997.
- ↑ https://www.nasonline.org/about-nas/events/annual-meeting/nas159/2021-ceremony.html
- ↑ https://www.nasonline.org/member-directory/members/20051882.html
- ↑ https://www.nasonline.org/news-and-multimedia/news/2021-nas-election.html — 2021.
- ↑ Magyar Tudományos Akadémia, Almanach, 1986, Budapest.
- ↑ 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.
- ↑ AAAS Members Elected as Fellows [Архівовано 15 квітня 2021 у Wayback Machine.], AAAS, 29 November 2012
- ↑ Архівована копія. Архів оригіналу за 14 травня 2021. Процитовано 30 серпня 2020.
{{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання)
Посилання
ред.- Домашня сторінка Міклоша Айтая
- Список публікацій на Microsoft Academic Search
- Міклош Айтай(англ.) у проєкті «Математична генеалогія».(англ.) в проекті «Математична генеалогія».
|
Це незавершена стаття про IT-спеціаліста чи спеціалістку. Ви можете допомогти проєкту, виправивши або дописавши її. |