Джон Лончбери — американский и британский ученый-компьютерщик, в настоящее время главный научный сотрудник в Galois, Inc. Ранее он руководил одним из технических офисов DARPA , где курировал общенациональные научные и инженерные исследования в области кибербезопасности , анализа данных и искусственного интеллекта . Он известен своими исследованиями и предпринимательством в области внедрения и применения функциональных языков программирования. В 2010 году Лончбери был принят в члены Ассоциации вычислительной техники . [1]
Лончбери получил диплом с отличием по математике от Оксфордского университета в 1985 году и степень магистра наук по вычислениям в 1986 году. Он имеет докторскую степень по вычислительной технике от Университета Глазго . В 1991 году издательство Cambridge University Press опубликовало его диссертацию «Проекционные факторизации в частичной оценке» , после того как она получила выдающуюся премию Британского компьютерного общества . [2]
Будучи преподавателем в Университете Глазго, Лончбери сосредоточил свои ранние исследования на семантике и анализе ленивых функциональных языков и был одним из разработчиков языка программирования Haskell .
В 1993 году Launchbury предоставил формальное описание ленивой оценки, решая проблемы анализа требований программы к хранению. [3] Операционная семантика широко цитируется в более поздних исследованиях Haskell. В контексте команды Glasgow Haskell Compiler [4] Launchbury установил эффективное партнерство с Саймоном Л. Пейтоном Джонсом для написания ряда статей, которые существенно повлияли на дизайн Haskell. Их статья 1995 года о состоянии в Haskell [5] представила « монаду IO » как математически чистый практический способ выражения эффектов на внешний мир и закрепила « do-нотацию », которую Launchbury представил ранее. [6] Их статьи о неупакованных значениях [7] и удалении промежуточных структур данных [8] затронули многие проблемы эффективности, присущие ленивой оценке.
В 1994 году Лончбери переехал на западное побережье США, а в 2000 году стал профессором в Орегонском институте последипломного образования. Его исследования там были посвящены созданию и оптимизации предметно-ориентированных языков программирования (DSL), начиная от фундаментальных исследований по объединению разрозненных семантических элементов посредством встраивания DSL в Haskell и заканчивая прикладными исследованиями по моделированию и обоснованию микроархитектур сверхбольшой интеграции (VLSI) .
Launchbury основал Galois Inc. в 1999 году для решения проблем в области обеспечения безопасности информации посредством применения функционального программирования и формальных методов. [9] [10] Он занимал должность генерального директора и главного научного сотрудника компании с 2000 по 2014 год. Под руководством Launchbury Galois Inc. разработала доменно-специфический язык Cryptol для определения и проверки криптографических реализаций. Первоначально разработанный для использования Агентством национальной безопасности , язык стал доступен общественности в 2008 году. [11]
Launchbury является владельцем двух патентов на криптографические структуры в хранении данных и одного на эффективные механизмы настройки программируемых криптографических компонентов. [12]
В 2014 году Лончбери присоединился к DARPA, сначала в качестве менеджера программы, [13] а затем в качестве директора Управления информационных инноваций (I2O) в 2015 году. [9] [14] Во время работы в DARPA Лончбери руководил программами по гомоморфной криптографии (PROCEED), кибербезопасности для транспортных средств и других встроенных систем (HACMS) и конфиденциальности данных (Brandeis). Он также определил и описал «Три волны ИИ»: ручное знание, статистическое обучение и контекстная адаптация. [15] [16]
В 2017 году Лончбери вновь присоединился к Галуа в качестве главного научного сотрудника. [17]
Launchbury опубликовал теологическую точку зрения на интерпретацию доктрины искупления в «Моральном образце» под названием « Измените нас, а не Бога: библейские размышления о смерти Иисуса » . [18]