Гай Л. Стил мл.
В этой статье есть несколько проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти шаблонные сообщения )
|
Профессор Гай Льюис Стил мл. доктор философии | |
---|---|
Рожденный | |
Другие имена | Грейт Кукс, GLS |
Образование |
|
Известный | |
Награды |
|
Научная карьера | |
Поля | Информатика |
Учреждения | |
Докторантура | Джеральд Сассман |
Гай Льюис Стил-младший ( / s t iː l / ; родился 2 октября 1954 г.) — американский учёный-компьютерщик , сыгравший важную роль в разработке и документировании нескольких языков компьютерного программирования и технических стандартов .
Биография
[ редактировать ]Стил родился в Миссури и окончил Бостонскую латинскую школу в 1972 году. Он получил степень бакалавра искусств (BA) в области прикладной математики в Гарвардском университете (1975), а также степень магистра (MS) и доктора философии (PhD) в Массачусетском институте. технологии (MIT) в области информатики (1977, 1980). Затем он работал доцентом кафедры информатики в Университете Карнеги-Меллон и разработчиком компиляторов в Tartan Laboratories . Затем он присоединился к суперкомпьютерной компании Thinking Machines , где помог определить и продвигать параллельных вычислений для Lisp версию языка программирования под названием *Lisp (Star Lisp) и параллельную версию языка C под названием C* .
В 1994 году Стил присоединился к Sun Microsystems пригласил его , и Билл Джой стать членом команды Java после того, как язык был разработан, поскольку у него был опыт написания хороших спецификаций для существующих языков. [ нужна ссылка ] В 2003 году он был назван стипендиатом Sun. Стил присоединился к Oracle в 2010 году, когда Oracle приобрела Sun Microsystems .
Работает
[ редактировать ]опубликовал более двух десятков статей Во время работы в Массачусетском технологическом институте Стил вместе с Джеральдом Джеем Сассманом на тему языка Lisp и его реализации ( Lambda Papers ). Одним из их наиболее заметных вкладов была разработка языка Scheme .
Стил также разработал исходный набор команд Emacs и первым портировал TeX (с WAITS на ITS ). Он опубликовал статьи по другим темам, включая компиляторы, параллельную обработку и языки ограничений. Одна написанная им песня была опубликована в официальном журнале Ассоциации по коммуникациям вычислительной техники ACM (CACM) («Песня Telnet», апрель 1984 г., пародия на поведение серии PDP-10 реализаций TELNET , написанная Марк Криспин ).
Стил работал в аккредитованных по техническим стандартам комитетах , в том числе: Ecma International (ранее Европейская ассоциация производителей компьютеров (ECMA)) TC39 (для языка ECMAScript , для которого он был редактором первого издания), X3J11 (для C ) и X3J3 (для языка ECMAScript, для которого он был редактором первого издания). для Фортрана ) и по состоянию на 2019 год [update], председатель X3J13 (от Common Lisp ). Он также был членом рабочей группы Института инженеров по электротехнике и электронике (IEEE), которая разработала стандарт IEEE для языковой схемы, IEEE Std 1178-1990. Он представлял Sun Microsystems на форуме High Performance Fortran, который High Performance Fortran в мае 1993 года подготовил спецификацию .
Помимо спецификаций языка Java, работа Стила в Sun Microsystems включала исследования параллельных алгоритмов, стратегий реализации, а также поддержки архитектуры и программного обеспечения. В 2005 году Стил начал возглавлять группу исследователей Sun, разрабатывающую новый язык под названием Fortress , высокопроизводительный язык, призванный заменить устаревший Фортран .
Стил участвовал в разработке языка программирования Verse , разработанного Epic Games . [ 1 ]
Книги
[ редактировать ]В 1982 году Стил отредактировал «Словарь хакера» (Harper & Row, 1983; ISBN 0-06-091082-8 ), который представлял собой печатную версию Файла Жаргона .
Стил и Сэмюэл П. Харбисон написали C: Справочное руководство ( Prentice-Hall , 1984; ISBN 0-13-110016-5 ), чтобы дать точное описание языка C , который Tartan Laboratories пыталась реализовать в широком спектре систем. Оба автора участвовали в процессе стандартизации C Американского национального института стандартов (ANSI); было выпущено несколько редакций книги, отражающих новый стандарт.
16 марта 1984 года Стил опубликовал Common Lisp the Language (Digital Press; ISBN 0-932376-41-X ; 465 страниц). Это первое издание было исходной спецификацией Common Lisp (CLtL1) и послужило основой для стандарта ANSI. В 1990 году Стил выпустил значительно расширенное второе издание (1029 страниц), в котором документировалась почти окончательная версия стандарта ANSI. [ 2 ]
Стил вместе с Чарльзом Х. Кёлбелем, Дэвидом Б. Лавманом, Робертом С. Шрайбером и Мэри Э. Зозель написали «Справочник по Фортрану для высокой производительности» (MIT Press, 1994; ISBN 0-262-11185-3 ).
Стил также был соавтором оригинальной спецификации языка Java вместе с Джеймсом Гослингом и Биллом Джоем .
Награды
[ редактировать ]Стил получил премию ACM Грейс Мюррей Хоппер в 1988 году. В 1990 году он был назначен членом-основателем AAAI. [ 3 ] член ACM в 1994 году, член Национальной инженерной академии Соединенных Штатов Америки в 2001 году и член Американской академии искусств и наук в 2002 году. В 2005 году он получил премию доктора Добба за выдающиеся достижения в программировании . [ 4 ]
Другая деятельность
[ редактировать ]Стил — современный кадриль в стиле вестерн и звонящий от мейнстрима до C3A, участник Tech Squares . [ 5 ] и член Callerlab .
Под псевдонимом Грейт Кукс [ 6 ] это было старое прозвище студентов Бостонской латинской школы и Массачусетского технологического института. Он публиковал легкие стихи и «хрустящие» карикатуры; некоторые из последних появились в «Словаре нового хакера» . Он также использовал свои инициалы (GLS).
В 1998 году Стил решил игру Тико с помощью компьютера, показав, что должно произойти, если оба игрока будут играть мудро; он обнаружил, что ни один из игроков не может добиться победы. Он также показал, что вариант «Продвинутый Тико» — это победа черных (опять же, при условии идеальной игры), как и еще один вариант, но остальные четырнадцать вариантов — это ничья. [ 7 ]
Ссылки
[ редактировать ]- ^ «Исчисление стихов: основное исчисление для функционального логического программирования» (PDF) . Март 2023.
- ^ Стил-младший, Гай Л. (1990). Язык Common Lisp, 2-е издание . Цифровая пресса. ISBN 1-55558-041-6 . Проверено 28 июня 2019 г.
{{cite book}}
:|website=
игнорируется ( помогите ) - ^ «Избранные члены AAAI» . АААИ . Проверено 02 января 2024 г.
- ^ Эриксон, Джонатан (1 апреля 2005 г.). «Награда журнала доктора Добба 2005 года за выдающиеся достижения в области программирования» . Журнал доктора Добба . Лондон, Англия: Information Tech. Архивировано из оригинала 30 апреля 2005 года . Проверено 28 июня 2019 г.
- ^ «Лаборатории Oracle; Подробности о людях» . Labs.oracle.com . Проверено 25 сентября 2016 г.
- ^ «Гай Стил» . Гарвардская школа инженерии и прикладных наук имени Джона А. Полсона . 22 марта 2013 г. Архивировано из оригинала 17 апреля 2019 г. Проверено 28 июня 2019 г.
- ^ Эпштейн, Ричард А. (2012). Теория азартных игр и статистическая логика, 2-е изд . Академическая пресса. п. 341.
Дальнейшее чтение
[ редактировать ]- Сейбел, Питер (16 сентября 2009 г.). Программисты за работой : размышления о ремесле программирования . Апресс . стр. 325–372. ISBN 978-1-4302-1948-4 . ОСЛК 10605060 .
Внешние ссылки
[ редактировать ]- Работы Гая Л. Стила в Project Gutenberg
- Работы Гая Л. Стила-младшего или о нем в Internet Archive
- Биографическая страница Sun / Oracle Стила
- Телнет-песня
- Стихи (в основном пародии) студенческих времен Гая Стила.
- Подкаст-интервью с Гаем Стилом на Software Engineering Radio
- «Развитие языка», основной доклад на конференции ACM OOPSLA 1998 г. ( текст )
- Гай Стил: Дэн Фридман — крутые идеи (60 лет со дня рождения Дэна Фридмана)
- 1954 года рождения
- Американские ученые-компьютерщики
- Американские писатели-технологи
- Лисп (язык программирования) люди
- Преподаватели Университета Карнеги-Меллон
- Эмакс
- 1994 г. Члены Ассоциации вычислительной техники.
- Лауреаты премии Грейс Мюррей Хоппер
- Выпускники инженерной школы Массачусетского технологического института
- Разработчики языков программирования
- Исследователи языков программирования
- Члены Ассоциации по развитию искусственного интеллекта
- Живые люди
- Члены Национальной инженерной академии США
- Выпускники Гарвардской школы инженерии и прикладных наук имени Джона А. Полсона