Патрик Карл Фишер (3 декабря 1935 - 26 августа 2011) был американским ученым-компьютерщиком , известным исследователем в области теории сложности вычислений и теории баз данных , а также целью Унабомбера . [1] [2] [3] [4] [5]
Патрик К. Фишер | |
---|---|
Родившийся | 3 декабря 1935 г. Сент-Луис, штат Миссури , США |
Умер | 26 августа 2011 г. Роквилл, Мэриленд , США | (75 лет)
Альма-матер | Массачусетский технологический институт Мичиганского университета |
Занятие | Специалист в области информатики |
Работодатель | Университет Вандербильта |
Родители) | Карл Х. Фишер |
биография
Фишер родился 3 декабря 1935 года в Сент-Луисе, штат Миссури . [2] [3] Его отец, Карл Х. Фишер, стал профессором актуарной математики в Мичиганском университете в 1941 году, [6] и семья переехала в Анн-Арбор, штат Мичиган, где он вырос. [2] Сам Фишер учился в Мичиганском университете, получив степень бакалавра в 1957 году [2] [3] и степень магистра делового администрирования в 1958 году. [7] Он продолжил учебу в Массачусетском технологическом институте , получив докторскую степень. Д. в 1962 г. под руководством Хартли Роджерса-младшего , защитив диссертацию по теории рекурсии . [2] [3] [8]
После получения докторской степени в 1962 году Фишер поступил на факультет Гарвардского университета в качестве доцента прикладной математики ; среди его студентов в Гарварде был Альберт Р. Мейер , от которого у Фишера более 250 академических потомков . а также известных компьютерных ученых Денниса Ричи и Арнольда Л. Розенберга . [8] В 1965 году он перешел на штатную должность адъюнкт-профессора информатики в Корнельском университете . После преподавания в Университете Британской Колумбии с 1967 по 1968 год (где он познакомился со своей второй женой Шарлоттой Фрозе) он переехал в Университет Ватерлоо, где стал профессором прикладного анализа и информатики. В Ватерлоо он был заведующим кафедрой с 1972 по 1974 год. Затем он перешел в Государственный университет Пенсильвании в 1974 году, где возглавил факультет компьютерных наук, и снова перешел в Университет Вандербильта в качестве заведующего кафедрой в 1980 году [1] [2] [3 ]. ] Он преподавал в Вандербильте 18 лет и был председателем 15 лет. [5] Он вышел на пенсию в 1998 году [2] и умер от рака желудка 26 августа 2011 года в Роквилле, штат Мэриленд . [1] [2] [3]
Как и его отец, Фишер стал парнем из Общества актуариев . [9] Вторая жена Фишера, Шарлотта Фрезе Фишер , также была профессором информатики в Университете Вандербильта и Университета Британской Колумбии, а его брат Майкл Дж. Фишер - профессор компьютерных наук в Йельском университете. [3] [1]
Исследовать
Исследование диссертации Фишера касалось влияния различных моделей вычислений на эффективность решения задач. Например, он показал , как генерировать последовательность простых чисел , используя одномерный клеточный автомат , основанный на более ранних решениях для проблемы синхронизации расстрела , [10] и его работы в этой области создала основу для гораздо позже работы по параллельному алгоритмы . [1] Вместе с Мейером и Розенбергом Фишер провел раннее влиятельное исследование счетных машин , показав, что они подчиняются теоремам об иерархии времени и пространственной иерархии, аналогичным теоремам для машин Тьюринга. [11]
Фишер был одним из первых лидеров в области сложности вычислений и помог установить теоретическую информатику как дисциплину, отдельную от математики и электротехники . [4] Он был первым председателем SIGACT , Специальной группы по алгоритмам и теории вычислений Ассоциации вычислительной техники , которую он основал в 1968 году. [1] [2] Он также основал ежегодный симпозиум по теории вычислений , которая вместе с Симпозиумом по основам информатики является одной из двух ведущих конференций по теоретической информатике , и он пять раз был председателем конференции. [1]
В 1980-х годах исследовательские интересы Фишера сместились в сторону теории баз данных . Его исследования в этой области включали изучение семантики баз данных, метаданных и неполной информации. [1] Фишер проделал важную работу по определению вложенной реляционной модели баз данных, в которой значения в ячейках реляционной базы данных сами могут быть отношениями, [12] [13] и его работа над математическими основами языков запросов к базам данных стала центральной. к базам данных, которые сейчас используются основными веб-серверами по всему миру. [2]
Фишер также был экспертом в области информационных систем и их использования в учебных заведениях. [3] [5]
Унабомбер
Тед Качиньски , известный как Унабомбер, был аспирантом математики в Мичиганском университете, где отец Фишера был профессором. [3] В 1982 году Качиньский отправил пятую из своих почтовых бомб Фишеру на его адрес в Пенсильвании; оно было отправлено Вандербильту, где оно было открыто 5 мая секретарем Фишера Джанет Смит, которая была госпитализирована на три недели после нападения. [3] [2] Фишер утверждал, что никогда не встречался с Качиньским, [1] [2] и предположил, что он стал мишенью, потому что «перешел от чистой математики к теоретической информатике». [2]
Качиньский задерживался только в 1996 году, когда истек срок давности по взрыву в 1982 году, поэтому его так и не привлекли к ответственности. [1]
Рекомендации
- ^ a b c d e f g h i j Фортноу, Лэнс (29 августа 2011 г.), Патрик Фишер (1935-2011 гг.).
- ^ Б с д е е г ч я J к л м Вителло, Пол (31 августа 2011 г.), "Патрик К. Фишер, Ранняя цель Unabomber, мертва в 75 лет" , New York Times , архивировано с оригинала 6 сентября 2012 г. Альтернативный URL .
- ^ Б с д е е г ч я J «Патрик Фишер умер в возрасте 75 лет; цель - Унабомбер» , Los Angeles Times , 3 сентября 2011 г.
- ^ а б Патрик Фишер, бывший профессор и заведующий кафедрой компьютерных наук в Пенсильванском государственном университете, Дис , факультет компьютерных наук и инженерии Пенсильванского государственного университета , получено 2011-09-03.
- ^ а б в «Патрик Фишер, бывший заведующий кафедрой информатики, умирает» , Vanderbilt News , 26 августа 2011 г..
- ^ "Карл Х. Фишер", проект истории факультета Мичиганского университета , получено 3 сентября 2011 г..
- ^ Dividend, журнал Высшей школы делового администрирования (PDF) , Мичиганский университет: 43, осень 1981 г. http://deepblue.lib.umich.edu/bitstream/2027.42/50729/2/1981-fall-dividend-text .pdf Отсутствует или пусто
|title=
( справка ) . - ^ a b Патрик Карл Фишер в проекте « Математическая генеалогия»
- ^ Американская академия актуариев (1969), Ежегодник за 1969 год (PDF) , Чикагский университет, стр. 33.
- ^ Фишер, Патрик С. (1965), «Генерация простых чисел с помощью одномерного реального времени итерационного массива», Журнал ACM , 12 (3): 388-394, DOI : 10,1145 / 321281,321290 , S2CID 18619107.
- ^ Фишер, Патрик С.; Мейер, АР ; Розенберг, Арнольд Л. (1968), "Счетчик машины и языки счетчик", Математическая теория систем , 2 (3): 265-283, DOI : 10.1007 / bf01694011 , MR 0235932 , S2CID 13006433.
- ^ Томас, Стэн Дж .; Фишер, Патрик С. (1986), «Вложенные реляционные структуры», « Достижения в области компьютерных исследований» , 3 : 269–307..
- ^ Фишер, Патрик С.; Томас, Стэн Дж. (1983), «Операторы для отношений, отличных от первой нормальной формы», Труды 7-й Международной конференции по приложениям компьютерного программного обеспечения (IEEE COMPSAC '83) , стр. 464–475.