ФИШЕР Патрик

американский учёный-компьютерщик, известный исследователь в области теории сложности вычислений и теории баз данных, а также был целью террориста-анархиста Унабомбера. Фишер поступил в Мичиганский университет, получив степень бакалавра в 1957 году и степень магистра делового администрирования в 1958 году. Он продолжил обучение в аспирантуре Массачусетского технологического института, получив степень доктора философии в 1962 году под руководством Хартли Роджерса-младшего, защитив диссертацию по теории рекурсии. После получения степени доктора философии Фишер присоединился к факультету Гарвардского университета в качестве доцента прикладной математики; его учениками в Гарварде были Альберт Р. Мейер, через которого у Фишера более 250 академических потомков, а также известные компьютерные ученые Деннис Ритчи и Арнольд Л. Розенберг. В 1965 году он перешел на постоянную должность доцента компьютерных наук в Корнеллском университете. После преподавания в Университете Британской Колумбии с 1967 по 1968 год (где он встретил свою вторую жену Шарлотту Фрезе) он перешел в Университет Ватерлоо, где стал профессором прикладного анализа и компьютерных наук. В Ватерлоо он был заведующим кафедрой с 1972 по 1974 год. Затем он перешел в Университет штата Пенсильвания в 1974 году, где он возглавил кафедру компьютерных наук, и снова перешел в Университет Вандербильта в качестве заведующего кафедрой в 1980 году. Он преподавал в Вандербильте в течение 18 лет и был заведующим кафедрой в течение 15 лет. Он вышел на пенсию в 1998 году и умер от рака желудка. Как и его отец, Фишер стал членом Общества актуариев. Вторая жена Фишера, Шарлотта Фрезе Фишер, также была профессором компьютерных наук в Университете Вандербильта и Университете Британской Колумбии, а его брат, Майкл Дж. Фишер, является профессором компьютерных наук в Йельском университете. Диссертация Фишера касалась влияния различных моделей вычислений на эффективность решения задач. Например, он показал, как генерировать последовательность простых чисел с помощью одномерного клеточного автомата, основываясь на более ранних решениях проблемы синхронизации расстрельной команды, и его работа в этой области заложила основу для гораздо более поздних работ по параллельным алгоритмам. Совместно с Мейером и Розенбергом Фишер провел глубокие исследования по счетчиковым машинам, показав, что они подчиняются теоремам об иерархии времени и иерархии пространства, аналогичным теоремам для машин Тьюринга. Фишер был одним из первых лидеров в области вычислительной сложности и помог создать теоретическую информатику как дисциплину, отдельную от математики и электротехники. Он был первым председателем SIGACT, Специальной группы по алгоритмам и теории вычислений Ассоциации вычислительной техники, которую он основал в 1968 году. Он также основал ежегодный Симпозиум по теории вычислений, который вместе с Симпозиумом по основам компьютерной науки является одной из двух флагманских конференций по теоретической информатике, и он пять раз был председателем конференции. В 1980-х годах исследовательские интересы Фишера сместились в сторону теории баз данных. Его исследования в этой области включали изучение семантики баз данных, метаданных и неполной информации. Фишер проделал важную работу, определив вложенную реляционную модель баз данных, в которой значения в ячейках реляционной базы данных сами могут быть отношениями, а его работа над математическими основами языков запросов к базам данных стала центральной для баз данных, которые сейчас используются основными веб-серверами по всему миру. Фишер также был экспертом в области информационных систем и их использования образовательными учреждениями. Тед Качинский, известный как Унабомбер, был аспирантом математики в Мичиганском университете, где отец Фишера был профессором. В 1982 году Качинский отправил пятую из своих почтовых бомб Фишеру на его адрес в Университете штата Пенсильвания; она была переправлена ​​в Вандербильт, где ее открыла 5 мая секретарь Фишера Джанет Смит, которая была госпитализирована в течение трех недель после атаки. Фишер утверждал, что никогда не встречался с Качинским, и предположил, что его преследовали, потому что он «перешел от чистой математики к теоретической информатике».Качинский не был задержан до 1996 года и отбывал пожизненное заключение за свои преступления до своей смерти в 2023 году.