Джон Лаунбери
Доктор Джон Лаунбери | |
|---|---|
 | |
| Национальность | Британский, Американский |
| Альма-матер | Оксфордский университет, Университет Глазго |
| Известный | Языки функционального программирования |
| Научная карьера | |
| Поля | Кибербезопасность, анализ данных, искусственный интеллект |
| Учреждения | Школа науки и техники Высшего института Орегона, Galois Inc., DARPA |
| Тезис | Факторизация проекции при частичной оценке |
Джон Лаунбери — американский и британский ученый-компьютерщик, который в настоящее время является главным научным сотрудником компании Galois, Inc. Ранее он руководил одним из технических офисов DARPA , где курировал общенациональные научные и инженерные исследования в области кибербезопасности , анализа данных и искусственного интеллекта . Он известен исследованиями и предпринимательством в области реализации и применения языков функционального программирования. В 2010 году Лаунбери был избран членом Ассоциации вычислительной техники . [1]
Образование [ править ]
Лаунбери получил высшую степень по математике в Оксфордском университете в 1985 году и степень магистра наук. в области вычислений в 1986 году. Он имеет докторскую степень. Степень бакалавра компьютерных наук в Университете Глазго . В 1991 году издательство Кембриджского университета опубликовало его диссертацию « Факторизация проекции в частичной оценке » после того, как она получила выдающуюся премию за диссертацию Британского компьютерного общества . [2]
и исследования Карьера
Будучи преподавателем в Университете Глазго, Лаунбери сосредоточил свои ранние исследования на семантике и анализе ленивых функциональных языков и был одним из разработчиков языка программирования Haskell .
В 1993 году Лаунбери предоставил формальное описание ленивой оценки, решая проблемы анализа требований программы к памяти. [3] Операционная семантика широко цитируется в более поздних исследованиях Haskell. В контексте команды компилятора Haskell в Глазго: [4] Лаунбери установил эффективное партнерство с Саймоном Л. Пейтоном Джонсом, чтобы написать ряд статей, которые существенно повлияли на разработку Haskell. Их статья 1995 года о состоянии в Haskell. [5] IO представил « монаду » как математически чистый практический способ выражения воздействия на внешний мир и закрепил « до-нотацию », введенную ранее Лаунбери. [6] Их статьи о распакованных ценностях [7] и удаление промежуточных структур данных [8] решили многие проблемы эффективности, присущие ленивым вычислениям.
В 1994 году Лаунбери переехал на западное побережье США, а в 2000 году стал профессором Орегонского института последипломного образования . Его исследования там были направлены на создание и оптимизацию предметно-ориентированных языков программирования (DSL), начиная от фундаментальных исследований по объединению разрозненных языков программирования. семантических элементов, посредством внедрения DSL в Haskell, для прикладных исследований по моделированию и рассуждениям о очень большой интеграции (VLSI) микроархитектурах .
Лаунбери основал Galois Inc. в 1999 году для решения проблем обеспечения безопасности информации посредством применения функционального программирования и формальных методов. [9] [10] Он занимал должность генерального директора и главного научного сотрудника компании с 2000 по 2014 год. Под руководством Лаунбери компания Galois Inc. разработала предметно-ориентированный язык Cryptol для определения и проверки криптографических реализаций. Первоначально разработанный для использования Агентством национальной безопасности , язык стал доступен общественности в 2008 году. [11]
Лаунбери является обладателем двух патентов на криптографические структуры хранения данных и одного на эффективные механизмы настройки программируемых криптографических компонентов. [12]
В 2014 году Лаунбери присоединился к DARPA, сначала в качестве менеджера программы. [13] а затем в качестве директора Управления информационных инноваций (I2O) в 2015 году. [9] [14] Находясь в DARPA, Лаунбери руководил программами в области гомоморфной криптографии ( PROCEED ), кибербезопасности транспортных средств и других встроенных систем ( HACMS ) и конфиденциальности данных ( Brandeis ). Он также определил и описал «три волны искусственного интеллекта»: создаваемые вручную знания, статистическое обучение и контекстуальную адаптацию. [15] [16]
В 2017 году Лаунбери вернулся к Галуа в качестве главного научного сотрудника. [17]
Другие публикации [ править ]
Лаунбери опубликовал богословский взгляд на интерпретацию доктрины искупления в «Моральном образце» под названием « Измени нас, а не Бога: библейские размышления о смерти Иисуса» . [18]
Ссылки [ править ]
- ^ «Стипендиаты ACM» . Награды АКМ . Ассоциация вычислительной техники . Проверено 21 сентября 2016 г.
- ^ Лаунбери, Джон (1991). Факторизация проекции в частичной оценке . Нью-Йорк, штат Нью-Йорк, США: Издательство Кембриджского университета. п. 163. ИСБН 978-0-521-41497-5 .
- ^ Лаунбери, Джон (1993). «Естественная семантика для ленивых вычислений». Материалы 20-го симпозиума ACM SIGPLAN-SIGACT по принципам языков программирования - POPL '93 . АКМ. стр. 144–154. дои : 10.1145/158511.158618 . ISBN 0897915607 . S2CID 14945994 – через Semantic Scholar.
- ^ «Команда Haskell из Глазго: другие замечательные участники прошлого» . Компьютер Glasgow Haskell . Проверено 30 ноября 2016 г. .
- ^ Лаунбери, Джон; Джонс, Саймон Л. Пейтон (1 декабря 1995 г.). Состояние на Haskell (PDF) . Бостон, Массачусетс: Издательство Kluwer Academic Publishers. п. 51.
- ^ Лаунбери, Джон (1993). «Ленивое императивное программирование» . CiteSeerX . Йельский университет: 46–56 . Проверено 19 января 2017 г.
- ^ Саймон Л. Пейтон Джонс ; Джон Лаунбери (1991). Распакованные ценности как граждане первого сорта на нестрогом функциональном языке . Нью-Йорк, штат Нью-Йорк, США: Springer-Verlag New York, Inc., стр. 145–164. ISBN 978-0-387-54396-3 .
- ^ Эндрю Гилл; Джон Лаунбери; Саймон Л. Пейтон Джонс (июнь 1993 г.). Короткий путь к вырубке лесов (PDF) . Копенгаген, Дания: Конференция FPCA '93 по языкам функционального программирования и компьютерной архитектуре.
- ^ Перейти обратно: а б «Доктор Джон Лаунбери» . Домашняя страница DARPA . ДАРПА . Проверено 21 сентября 2016 г.
- ^ МакКинни, Лаура (2011). «Заявление Лоры МакКинни, генерального директора Galois, Inc., подготовленное к слушаниям по вопросам малого бизнеса и создания рабочих мест: программы SBIR и STTR» (PDF) .
- ^ Galois, Inc (24 декабря 2008 г.). «Криптол, язык криптографии, теперь доступен» . Галуа.com . Проверено 30 ноября 2016 г.
- ^ «Патенты изобретателя Джона Лаунбери» . Патенты Юстии .
- ^ Спенсер, Малия (2014). «Министерство обороны привлекает эксперта по безопасности из Портленда, чтобы помочь сделать компьютерные системы более безопасными» . www.bizjournals.com . Проверено 30 августа 2023 г.
- ^ Мец, Кейд. «Кибербезопасностью будут управлять люди или боты? Ответ — да» . Проводной . ISSN 1059-1028 . Проверено 30 августа 2023 г.
- ^ «Понимание границ глубокого обучения» . ВенчурБит . 03.04.2017 . Проверено 30 августа 2023 г.
- ^ «Отличный доклад DARPA о трех волнах искусственного интеллекта (ИИ). Контекстная адаптация — правильное направление: объяснимый ИИ» . Кардиффский университет . Проверено 30 августа 2023 г.
- ^ «Фирма по кибербезопасности из Нью-Дейтона празднует новый дом» . Дейтон-Дейли-Новости . Проверено 30 августа 2023 г.
- ^ Джон Лаунбери (1 августа 2009 г.). Измените нас, а не Бога . Издательство WCF. п. 200. ИСБН 978-0982409299 .
на Хаскеле Программирование |
|---|
