stringtranslate.com

Марк С. Миллер

Марк С. Миллер — американский учёный-компьютерщик . Он известен своей работой в качестве одного из участников гипертекстового проекта 1979 года, известного как Project Xanadu ; изобретением колонок Миллера ; и координатором открытого исходного кода языка программирования E. Он также разработал компилятор Caja . Миллер — старший научный сотрудник Института Форсайта . [1]

Миллер получил степень бакалавра в области компьютерных наук в Йельском университете в 1980 году и опубликовал свою докторскую диссертацию в Университете Джонса Хопкинса в 2006 году. [2] В настоящее время он является главным научным сотрудником в Agoric [3] и членом комитета ECMAScript (JavaScript). [4] Ранее занимал должности главного архитектора в Virus-Safe Computing Initiative в HP Labs [ 5] и научного сотрудника в Google с 2007 по 2017 год. [6]

Исследования Миллера были сосредоточены на разработке языка для безопасных открытых систем. В Xerox PARC он работал над системами параллельного логического программирования и открытыми системами Agoric. В Sun Labs [7] (во время работы в Agorics, более ранней компании с похожим названием, как у его нынешнего работодателя) он руководил разработкой WebMart, фреймворка для покупки и продажи вычислительных ресурсов (сетевая пропускная способность, [8] доступ к принтеру, изображениям, CD-проигрывателю и т. д.) по сети. В HP Labs он был архитектором проекта Virus Safe Computing. Работая в Google, он разработал Caja, среду для безопасного выполнения JavaScript. Он также написал статьи о сложных адаптивных системах [9] и стратегиях снижения рисков для будущих технологий. [10]

Миллер преследует заявленную цель — обеспечить сотрудничество между недоверяющими партнерами. [11] Миллер рассматривает это как фундаментальную функцию, необходимую для обеспечения экономического взаимодействия, и основную часть, которая отсутствовала в наборе инструментов, доступном разработчикам программного обеспечения. Миллер неоднократно возвращался к этому вопросу со времен Agoric Open Systems Papers 1988 года.

Наиболее выдающиеся вклады Миллера были в области разработки языков программирования, в частности, языка E, который продемонстрировал безопасные распределенные вычисления на основе языка. Работа вдохновила на несколько адаптаций к другим парадигмам программирования. Он также сыграл важную роль в комитете стандартов ECMAScript (TC39), заложив основы для разработки Secure EcmaScript (SES), стандарта, который отслеживает эволюцию, что сделает полнофункциональное программирование доступным в JavaScript. [12]

Работа Миллера была описана в журнале Wired [13] , где его работа описывается как источник вдохновения для исследователя баз данных Майкла Стоунбрейкера , создавшего систему Mariposa в Беркли .

Основные публикации

Ссылки

  1. ^ "Старшие научные сотрудники". Foresight Institute . Получено 15 апреля 2020 г.
  2. ^ Надежная композиция: на пути к единому подходу к контролю доступа и управлению параллелизмом, докторская диссертация.
  3. ^ "Mark. S. Miller". Agoric . 8 февраля 2023 . Получено 25 декабря 2023 .
  4. ^ Технический комитет Ecma 39 (TC39) объединяется для обсуждения будущего направления развития языка веб-программирования
  5. ^ «Создание защищенной от вирусов вычислительной платформы — о докладчике». web.stanford.edu . Пало-Альто, Калифорния: Стэнфордский университет . 3 декабря 2003 г.
  6. ^ "Mark S. Miller". Исследование в Google . Архивировано из оригинала 12 марта 2019 г.
  7. ^ "Годовой отчет SunLabs 1995". Архивировано из оригинала 2009-02-07 . Получено 2009-02-07 .
  8. ^ Автоматизированный аукцион пропускной способности сети ATM
  9. ↑ Миллер, Марк (1 декабря 1996 г.). «Кривая обучения». Причина .
  10. ^ Петерсон, Кристин; Миллер, Марк С.; Дуэттманн, Эллисон (2017). «Риски кибер-, нано- и AGI-технологий: децентрализованные подходы к снижению рисков» (PDF) . Foresight Institute .
  11. ^ Смарт-контракты: модели сотрудничества без уязвимости
  12. ^ Ecma International, Технический комитет 39. «Проект предложения по SES (Secure EcmaScript)». GitHub . Получено 15 апреля 2020 г.{{cite web}}: CS1 maint: numeric names: authors list (link)
  13. ↑ Сиделл, Джефф (1 декабря 1996 г.). «Страница гика». Wired .

Внешние ссылки