Оглавление
Джон Лончбери
-
Карьера и достижения Джона Лончбери
- Американский и британский ученый-компьютерщик, главный научный сотрудник Galois, Inc.
- Руководил техническим подразделением DARPA, курировал исследования в области кибербезопасности и искусственного интеллекта.
- Известен исследованиями и предпринимательством в области функциональных языков программирования, член Ассоциации вычислительной техники.
-
Образование и ранние исследования
- Получил образование в Оксфорде и Глазго, доктор философии по компьютерным наукам.
- Разработал язык программирования Haskell, сосредоточился на семантике и анализе ленивых языков.
- Внес значительный вклад в дизайн Haskell, включая монаду ввода-вывода и нотацию do.
-
Карьера в области информационных технологий
- Основал Galois Inc. для разработки языков программирования в области информационной безопасности.
- Разработал специализированный язык Cryptol для проверки криптографических реализаций, имеет патенты на криптографические структуры.
- Работал в DARPA, руководил программами в области кибербезопасности и искусственного интеллекта.
-
Другие публикации и вклад в науку
- Опубликовал теологический обзор доктрины искупления.
- Определил “Три волны искусственного интеллекта”.
-
Текущее положение
- В 2017 году присоединился к Galois в качестве главного научного сотрудника.
Полный текст статьи: