Уильям Вульф

Уильям Вульф
Уильям Вульф
Рожденный	Уильям Аллан Вульф ; 8 декабря 1939 г. ; Чикаго, Иллинойс , США
Умер	10 марта 2023 г. (83 года) ; Шарлоттсвилл, Вирджиния , США
Образование	Университет Иллинойса Урбана-Шампейн (бакалавр, магистр) ; Университет Вирджинии (доктор философии)
Известный	BLISS Язык программирования , оптимизирующий компилятор ; Гидра Операционная система ; Тартан Лаборатории
Супруг	Анита К. Джонс
	Научная карьера
Поля	Информатика
Учреждения	Университет Карнеги-Меллон ; Университет Вирджинии ; Тартан Лаборатории
Диссертация	(1968)

Уильям Аллан Вульф (8 декабря 1939 — 10 марта 2023) — американский учёный-компьютерщик, известный своими работами в области языков программирования и компиляторов .

Ранняя жизнь и образование

Вульф родился в Чикаго и учился в Иллинойском университете Урбана-Шампейн , получив степень бакалавра наук (BS) в области инженерной физики в 1961 году и степень магистра наук (MS) в области электротехники в 1963 году. Затем он получил первую степень доктора философии (BS ). Доктор философии) по информатике в Университете Вирджинии в 1968 году.

Карьера

В 1970 году, находясь в Университете Карнеги-Меллона (CMU), он разработал язык программирования BLISS и разработал для него революционный оптимизирующий компилятор .

С 1971 по 1975 год в рамках проекта CMU C.mmp он работал над операционной системы (ОС) микроядром под названием Hydra , которое основано на возможностях , объектно-ориентировано и предназначено для поддержки широкого спектра возможных ОС для запуска на нем. .

Вместе со своей женой Анитой К. Джонс Вульф был основателем и вице-президентом Tartan Laboratories , компании, занимающейся разработкой компиляторов , в 1981 году.

Вульф был президентом Национальной инженерной академии. ^{[ 1 ]} с 1996 по 2007 год. С 1992 по 1996 год он возглавлял Совет по компьютерным наукам и телекоммуникациям Национального исследовательского совета. До этого он занимал должность помощника директора Управления компьютерных и информационных наук и инженерии (CISE) Национального научного фонда США с 1988 года. -1990. За это время он сыграл важную роль в том, чтобы сделать компьютерную сеть NSFnet (как она тогда называлась) доступной для общественности под названием Интернет, за что он получил премию ACM Policy Award в 2017 году. ^{[ 2 ]} Он входил в совет ACM , в совет директоров CRDF Global , ^{[ 3 ]} и был рецензентом журнала Science . В 1994 году он был назначен членом ACM. В 2007 году Вульф был удостоен чести прочитать престижную лекцию Чарльза П. Стейнмеца в Юнион-колледже . ^{[ 4 ]} он был избран членом Американского философского общества . В том же году ^{[ 5 ]}

Исследования Вульфа также включали компьютерную архитектуру , компьютерную безопасность и кодирование аппаратного и программного обеспечения .

Вульф завершил свою карьеру в Университете Вирджинии, подав в отставку во вторник, 19 июня 2012 года, в знак протеста против принудительной отставки бывшего президента Терезы А. Салливан . ^{[ 6 ]} в том, что он назвал «худшим примером корпоративного управления, который я когда-либо видел». ^{[ 7 ]}^{[ 8 ]}^{[ 9 ]}^{[ 10 ]} После широкомасштабных проблем со стороны преподавателей, студентов, выпускников и национального академического сообщества; и перед лицом прямой угрозы со стороны губернатора Вирджинии, что он заменит весь совет директоров, если они не разрешат конфликт, Салливан был единогласно повторно принят на работу примерно две недели спустя. ^{[ 11 ]}

Личная жизнь и смерть

Вульф был женат на Аните К. Джонс , заслуженном профессоре компьютерных наук Университета Вирджинии .

Уильям Вульф умер в Шарлоттсвилле, штат Вирджиния , 10 марта 2023 года в возрасте 83 лет. ^{[ 12 ]}^{[ 13 ]}

Публикации

Вульф, Вашингтон, «Программирование без GOTO», Труды Международной федерации обработки информации , Любляна, Югославия, август 1971 г.
Вульф, Вашингтон и др., «Размышления о языке системного программирования», Труды симпозиума SIGPLAN по языкам реализации систем , Университет Пердью, октябрь 1971 г.
МакКреди, Дж., Вульф, Вашингтон, «Выбор вычислительной альтернативы», Труды компьютерной конференции IEEE , IEEE, Бостон, сентябрь 1971 г.
Вульф, Вашингтон, «Дело против GOTO», Материалы Национальной конференции ACM , ACM, Бостон, август 1972 г.
Вульф, Вашингтон, и Шоу, М., «Глобальные переменные считаются вредными», Уведомления SIGPLAN 8 (2), февраль 1973 г.
Вульф В.А., Шоу М., Хилфингер П.Н. и Флон Л., Фундаментальные структуры информатики, Аддисон-Уэсли, 1980.
Вульф В.А., Джонсон Р., Вайнсток К., Хоббс С. и Гешке К., Проект оптимизирующего компилятора, American Elsevier Publishing Company, Inc., Нью-Йорк, 1975.
Шоу М. и Вульф В. «Тиранические языки все еще опережают системный дизайн», Материалы Международной конференции по компьютерным языкам , апрель 1992 г.

Ссылки

^ Хэмм, Стив (23 февраля 2007 г.). «Премия Тьюринга вручается Фрэнсис Аллен» . Блумберг Бизнесуик . Проверено 1 мая 2011 г.
^ «Уильям А. Вульф: Премия ACM Policy» . Проверено 16 июня 2023 г.
^ «Доктор Уильям Вульф» . Проверено 3 мая 2011 г.
^ Серия лекций памяти доктора Чарльза Протеуса Штайнмеца
^ «История участников APS» . search.amphilsoc.org . Проверено 17 мая 2021 г.
^ «Салливана лишили прав: вице-президент Саймон намекает на увольнение, если не изменится BOV» . Крюк . Проверено 20 июня 2012 г.
^ «Начинаются отставки: уважаемый профессор информатики отключается» . Крюк . Проверено 20 июня 2012 г.
^ Штраус, Валери (30 июля 2012 г.). «У-ва. профессор: Почему я не уйду в отставку» . Вашингтон Пост .
^ «Уважаемый профессор UVA уходит в отставку в знак протеста» . www.nbc29.com . 19 июня 2012 г.
^ Джонсон, Картер (19 июня 2012 г.). «Профессор UVa Билл Вульф уходит в отставку» . www.cbs19news.com .
^ «Правление Университета Вирджинии восстанавливает президента в должности» . Нью-Йорк Таймс . Ассошиэйтед Пресс. 26 июня 2012 года . Проверено 26 июня 2012 г.
^ Некролог Уильяма Вульфа
^ Дин, Корнелия (22 марта 2023 г.). «Уильям А. Вульф, выдающийся ученый-компьютерщик, умер в возрасте 83 лет» . Нью-Йорк Таймс . ISSN 0362-4331 . Проверено 17 августа 2023 г.

Внешние ссылки

[1] Хэмм, Стив (23 февраля 2007 г.). «Премия Тьюринга вручается Фрэнсис Аллен» . Блумберг Бизнесуик . Проверено 1 мая 2011 г.

[2] «Уильям А. Вульф: Премия ACM Policy» . Проверено 16 июня 2023 г.

[3] «Доктор Уильям Вульф» . Проверено 3 мая 2011 г.

[4] Серия лекций памяти доктора Чарльза Протеуса Штайнмеца

[5] «История участников APS» . search.amphilsoc.org . Проверено 17 мая 2021 г.

[6] «Салливана лишили прав: вице-президент Саймон намекает на увольнение, если не изменится BOV» . Крюк . Проверено 20 июня 2012 г.

[7] «Начинаются отставки: уважаемый профессор информатики отключается» . Крюк . Проверено 20 июня 2012 г.

[8] Штраус, Валери (30 июля 2012 г.). «У-ва. профессор: Почему я не уйду в отставку» . Вашингтон Пост .

[9] «Уважаемый профессор UVA уходит в отставку в знак протеста» . www.nbc29.com . 19 июня 2012 г.

[10] Джонсон, Картер (19 июня 2012 г.). «Профессор UVa Билл Вульф уходит в отставку» . www.cbs19news.com .

[11] «Правление Университета Вирджинии восстанавливает президента в должности» . Нью-Йорк Таймс . Ассошиэйтед Пресс. 26 июня 2012 года . Проверено 26 июня 2012 г.

[12] Некролог Уильяма Вульфа

[nyt-obit-13] Дин, Корнелия (22 марта 2023 г.). «Уильям А. Вульф, выдающийся ученый-компьютерщик, умер в возрасте 83 лет» . Нью-Йорк Таймс . ISSN 0362-4331 . Проверено 17 августа 2023 г.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]

[ 12 ]

[ 13 ]

v т и объектов Безопасность
Concepts	Principle of least privilege (PoLP) Confused deputy problem Ambient authority File descriptor C-list Object-capability model Capability-based security Capability-based addressing Zooko's triangle Petnames
Operating systems, kernels	Capsicum Fuchsia Genode GNOSIS → KeyKOS → EROS → CapROS Hydra iMAX 432 Midori NLTSS seL4 HarmonyOS (HarmonyOS NEXT) Phantom OS
Programming languages	Cajita E Joe-E Joule
File systems	Tahoe-LAFS
Specialised hardware	BiiN Cambridge CAP Flex IBM System/38 Intel iAPX 432 Plessey System 250

Базы данных авторитетного контроля
International	ISNI VIAF WorldCat
National	Norway Israel United States Netherlands
Academics	Association for Computing Machinery CiNii DBLP MathSciNet Mathematics Genealogy Project zbMATH
Other	IdRef