Джон Лаанчбери - Википедия - John Launchbury

Доктор Джон Лаанчбери
Выстрел в голову доктора Джона Лаанчбери.jpg
НациональностьБританский, американский
Альма-матерОксфордский университет, Университет Глазго
ИзвестенФункциональные языки программирования
Научная карьера
ПоляКибербезопасность, Анализ данных, Искусственный интеллект
УчрежденияОрегонский институт науки и инженерии, Galois Inc., DARPA
ТезисФакторизации прогнозов при частичной оценке

Джон Лаанчбери - американский и британский ученый-компьютерщик, который в настоящее время является главным научным сотрудником Galois, Inc. Ранее он руководил одним из DARPA’s технических офисов, где он курировал общенациональные научные и инженерные исследования в информационная безопасность, анализ данных и искусственный интеллект. Он известен своими исследованиями и предпринимательством в области внедрения и применения языков функционального программирования. В 2010 году Лаанчбери был назначен членом Ассоциация вычислительной техники.[1]

Образование

Лаанчбери получил высшую награду по математике от Оксфордский университет в 1985 г. и степень магистра наук. в области вычислений в 1986 году. Он имеет докторскую степень. в вычислительной науке из Университет Глазго. В 1991 году издательство Кембриджского университета опубликовало его диссертацию. Факторизации прогнозов при частичной оценке, после того, как он выиграл Британского компьютерного общества заслуженная диссертация.[2]

Карьера и исследования

В качестве лектора в Университете Глазго Лаанчбери сосредоточил свои ранние исследования на семантике и анализе ленивых функциональных языков и был одним из разработчиков Язык программирования Haskell.

В 1993 году Лаунчбери представил формальное описание ленивой оценки, решая проблемы анализа требований к памяти программы.[3] Операционная семантика широко цитируется в более поздних исследованиях Haskell. В контексте команды разработчиков Haskell Compiler из Глазго[4] Launchbury установила эффективное партнерство с Саймон Л. Пейтон Джонс написать ряд статей, которые сильно повлияли на дизайн Haskell. Их статья 1995 года о состоянии в Haskell[5] представил «IO монада »Как математически чистый практический способ выражения воздействия на внешний мир и укрепил«нотация «Лаанчбери представил ранее.[6] Их статьи о ценностях без упаковки[7] и удаление промежуточных структур данных[8] решает многие проблемы эффективности, присущие отложенной оценке.

В 1994 году Лаанчбери переехал на западное побережье США, где стал профессором Институт Аспирантуры Орегона в 2000 году. Его исследования были посвящены созданию и оптимизации предметно-ориентированные языки программирования (DSL) начиная от фундаментальных исследований по объединению разрозненных семантических элементов через встраивание DSL в Haskell, до прикладных исследований для моделирования и рассуждений о очень крупномасштабная интеграция (СБИС) микроархитектуры.

Лаанчбери основал Galois Inc. в 1999 году для решения проблем в области обеспечения безопасности информации с помощью функционального программирования и формальных методов.[9] Он занимал пост генерального директора и главного научного сотрудника компании с 2000 по 2014 год. Под руководством Launchbury компания Galois Inc. разработала Криптол предметно-ориентированный язык для определения и проверки криптографических реализаций. Первоначально разработан для использования Национальное Агенство Безопасности, язык стал общедоступным в 2008 году.[10]

Launchbury является держателем двух патентов на криптографические структуры в хранилище данных и одного на эффективные механизмы настройки программируемых криптографических компонентов.[11]

В 2014 году Лаанчбери присоединился к DARPA сначала в качестве менеджера программы, а затем в качестве директора Информационно-инновационное бюро (I2O) в 2015 году.[9] Программы Launchbury в гомоморфная криптография (ПРОДОЛЖИТЬ ), кибербезопасность автомобилей и другие встроенные системы (HACMS ), и конфиденциальность данных (Брандейс ).

В 2017 году Лаанчбери вернулся в Галуа в качестве главного научного сотрудника.

Прочие публикации

Лаанчбери опубликовал теологическую точку зрения на Моральную образцовую интерпретацию учение об искуплении, озаглавленный Измени нас, а не Бога: библейские размышления о смерти Иисуса.[12]

Рекомендации

  1. ^ "Стипендиаты ACM". ACM Awards. Ассоциация вычислительной техники. Получено 21 сентября 2016.
  2. ^ Лаанчбери, Джон (1991). Факторизации прогнозов при частичной оценке. Нью-Йорк, Нью-Йорк, США: Издательство Кембриджского университета. п. 163. ISBN  978-0-521-41497-5.
  3. ^ Лаанчбери, Джон (1993). Естественная семантика для ленивых оценок (PDF). Семантический ученый. ACM. С. 144–154. Дои:10.1145/158511.158618. ISBN  0897915607. S2CID  14945994. Получено 19 января 2017.
  4. ^ «Команда Glasgow Haskell: другие замечательные прошлые участники». Компьютер Glasgow Haskell. Получено 30 ноября 2016.
  5. ^ Лаанчбери, Джон; Джонс, Саймон Л. Пейтон (1 декабря 1995 г.). Состояние в Haskell (PDF). Бостон, Массачусетс: Kluwer Academic Publishers. п. 51.
  6. ^ Лаанчбери, Джон. «Ленивое императивное программирование». CiteSeerX. Йельский университет. Получено 19 января 2017.
  7. ^ Саймон Л. Пейтон Джонс; Джон Лаанчбери (1991). Распакованные ценности как граждане первого класса на нестрогом функциональном языке. Нью-Йорк, штат Нью-Йорк, США: Springer-Verlag New York, Inc., стр. 145–164. ISBN  978-0-387-54396-3.
  8. ^ Эндрю Гилл; Джон Лаанчбери; Саймон Л. Пейтон Джонс (Июнь 1993 г.). Кратчайший путь к вырубке лесов (PDF). Копенгаген, Дания: Конференция FPCA '93 Конференция по языкам функционального программирования и компьютерной архитектуре.
  9. ^ а б "Доктор Джон Лаанчбери". Домашняя страница DARPA. DARPA. Получено 21 сентября 2016.
  10. ^ Galois, Inc (24 декабря 2008 г.). «Cryptol, язык криптографии, теперь доступен». Galois.com. Получено 30 ноября, 2016.
  11. ^ «Патенты изобретателя Джона Лаанчбери». Патенты Justia.
  12. ^ Джон Лаанчбери (1 августа 2009 г.). Измени нас, а не Бог. Издательство WCF. п. 200. ISBN  978-0982409299.