Mark S. Miller - Mark S. Miller

Mark Miller
MarkM.jpg
NárodnostNÁS
Ostatní jménaMark S. Miller, Mark Samuel Miller, Mark M.
Státní občanstvíamerický
VzděláváníBS v počítačová věda z Yale v roce 1980; PhD Johns Hopkins 2006
Alma materJohns Hopkins
Známý jakoE_ (programovací_jazyk), Objektové schopnosti, CAJA
Vědecká kariéra
PolePočítačová věda
InstituceAgorický
Google
Xerox PARC
Hewlett Packard Laboratoře
TezeRobustní složení: Směrem k jednotnému přístupu k řízení přístupu a řízení souběžnosti  (2006)
Doktorský poradceJonathan Shapiro
VlivyNorm Hardy, Marc Stiegler
webová stránkahttps://erights.org

Mark S. Miller je Američan počítačový vědec. Je známý svou prací jako jeden z účastníků hypertextového projektu z roku 1979 známého jako Projekt Xanadu; za vymýšlení Millerovy sloupy; jako spolutvůrce agorického paradigmatu[1] tržně distribuovaných zabezpečených výpočtů; a open-source koordinátor Programovací jazyk E.. Navrhl také Programovací jazyk Caja. Miller je vědeckým pracovníkem v Foresight Institute [2]

Miller získal BS v počítačová věda z Yale v roce 1980 a vydal jeho Johns Hopkins PhD práce v roce 2006.[3] V současné době je hlavním vědeckým pracovníkem společnosti Agoric[4] a člen ECMAScript (JavaScript) výbor.[5]. Předchozí pozice zahrnují hlavního architekta s iniciativou Virus-Safe Computing Initiative v Laboratoře HP a vědecký pracovník ve společnosti Google[6]

Millerův výzkum se zaměřil na jazykový design pro bezpečné otevřené systémy. Ve společnosti Xerox PARC pracoval na systémech souběžného logického programování a Agoric Open Systems. V Sun Labs [7]„(když pracoval pro společnost Agorics, dřívější společnost s podobným názvem jako jeho současný zaměstnavatel), vedl vývoj WebMart, rámce pro nákup a prodej výpočetních prostředků (šířka pásma sítě [8], přístup k tiskárně, obrázkům, CD Jukeboxu atd.) v síti. V laboratořích HP byl architektem projektu Virus Safe Computing. V Googlu vyvinul Caja, prostředí pro bezpečné provádění v JavaScriptu. Psal také články a přednášel o řešení rizik z budoucích technologií (Důvod časopis [9], Foresight Institute [10]).

Miller sleduje stanovený cíl umožňující spolupráci mezi nedůvěryhodnými partnery [11]. Miller to považuje za základní prvek potřebný k podpoře ekonomických interakcí a za hlavní část, která v sadě nástrojů, která je k dispozici vývojářům softwaru, chybí. Miller se k této problematice opakovaně vrátil od vydání Agoric Open Systems Papers z roku 1988

Nejvýznamnější příspěvky Millera byly v oblasti programování programovacích jazyků, zejména E Language, který demonstroval jazykově založené bezpečné distribuované výpočty. Práce inspirovala několik adaptací k dalším programovacím paradigmatům. Rovněž pomohl výboru pro standardy EcmaScript (TC39) při zajišťování základů pro vývoj zabezpečeného EcmaScript (SES), vývoje standardů, který umožní plné programování v JavaScriptu.[12][13]

Millerova práce byla napsána ve Wired [14] který popsal jeho práci jako inspiraci pro Michael Stonebraker je Mariposa, vyvinutý v Berkeley.

Hlavní publikace

Přednášky, prezentace

Patenty

Viz také

Reference

  1. ^ Agorics Papers
  2. ^ „Senior Research Fellows“. Foresight Institute. Citováno 15. dubna 2020.
  3. ^ Robustní složení: Směrem k jednotnému přístupu k řízení přístupu a řízení souběžnosti, Disertační práce.
  4. ^ Domovská stránka Agoric
  5. ^ Technická komise Ecma 39 (TC39) se spojuje s budoucím směrem webového programovacího jazyka
  6. ^ Mark S. Miller ve společnosti Google Research
  7. ^ „Výroční zpráva SunLabs 1995“. Archivováno z původního dne 2009-02-07. Citováno 2009-02-07.
  8. ^ Automatizovaná aukce v šířce pásma sítě ATM
  9. ^ Křivka učení Recenze Holand 'Skrytý řád'
  10. ^ Decentralizované přístupy ke snižování kybernetických, nano a AGI rizik
  11. ^ Chytré smlouvy: vzorce spolupráce bez zranitelnosti
  12. ^ Ecma International, technický výbor 39. „Návrh na SES (Secure EcmaScript)“. GitHub. Citováno 15. dubna 2020.
  13. ^ Miller, Mark S. (4. prosince 2019). „SES: Zabezpečení JavaScriptu ve skutečném světě“. Agorický. Střední. Citováno 15. dubna 2020.
  14. ^ Drátové: Geek Page

externí odkazy