John Launchbury - John Launchbury - Wikipedia

Dr. John Launchbury
Headshot Dr. Johna Launchbury.jpg
NárodnostBritové, Američané
Alma materOxford University, University of Glasgow
Známý jakoFunkční programovací jazyky
Vědecká kariéra
PoleKybernetická bezpečnost, analýza dat, umělá inteligence
InstituceŠkola vědy a techniky v Oregonu, Galois Inc., DARPA
TezeProjekční faktorizace při částečném hodnocení

John Launchbury je americký a britský počítačový vědec, který je v současné době hlavním vědeckým pracovníkem společnosti Galois, Inc. Předtím řídil jednu z nich DARPA technické kanceláře, kde dohlížel na celostátní vědecký a inženýrský výzkum v kybernetická bezpečnost, analýza dat a umělá inteligence. Je známý výzkumem a podnikáním v implementaci a aplikaci funkčních programovacích jazyků. V roce 2010 byla společnost Launchbury uvedena jako Fellow of the Sdružení pro výpočetní techniku.[1]

Vzdělávání

Launchbury získala prvotřídní vyznamenání v matematice od Oxfordská univerzita v roce 1985 a titul M.Sc. ve výpočtech v roce 1986. Je držitelem titulu Ph.D. v počítačové vědě z University of Glasgow. V roce 1991 zveřejnila Cambridge University Press svou práci, Projekční faktorizace při částečném hodnocení, poté, co vyhrál Britská počítačová společnost cena za vynikající práci.[2]

Kariéra a výzkum

Jako přednášející na univerzitě v Glasgow zaměřil Launchbury svůj raný výzkum na sémantiku a analýzu líných funkčních jazyků a byl jedním z přispívajících návrhářů Haskell programovací jazyk.

V roce 1993 společnost Launchbury poskytla formální popis líného hodnocení, který řešil problémy při analýze požadavků na úložiště programu.[3] Provozní sémantika je široce citována v pozdějším výzkumu Haskella. V kontextu týmu kompilátoru Glasgow Haskell,[4] Launchbury navázalo efektivní partnerství se společností Simon L. Peyton Jones napsat několik článků, které dramaticky ovlivnily design Haskella. Jejich papír z roku 1995 o státu v Haskellu[5] představil „IO monad „Jako matematicky čistý praktický způsob vyjádření účinků na vnější svět, a upevnil„notace „Launchbury představil dříve.[6] Jejich papíry o nebalených hodnotách[7] a odstranění mezilehlých datových struktur[8] zabýval se mnoha výzvami týkajícími se efektivity, které jsou vlastní línému hodnocení.

V roce 1994 se Launchbury přestěhoval na západní pobřeží Spojených států a stal se řádným profesorem na Oregonský institut absolventů v roce 2000. Jeho výzkum se zabýval vytvořením a optimalizací programovací jazyky specifické pro doménu (DSL) od základního výzkumu v kombinaci různorodých sémantických prvků, přes vložení DSL v Haskellu, až po aplikovaný výzkum pro modelování a uvažování o velmi rozsáhlá integrace (VLSI) mikroarchitektury.

Společnost Launchbury založila společnost Galois Inc. v roce 1999 s cílem řešit výzvy v oblasti zajišťování informací prostřednictvím aplikace funkčního programování a formálních metod.[9] V letech 2000 až 2014 působil jako generální ředitel a hlavní vědecký pracovník společnosti. Pod vedením Launchbury vyvinula Galois Inc. Kryptol jazyk specifický pro doménu pro specifikaci a ověření kryptografických implementací. Původně navržen pro použití Národní bezpečnostní agentura, jazyk byl veřejnosti zpřístupněn v roce 2008.[10]

Launchbury je držitelem dvou patentů na kryptografické struktury v úložišti dat a jednoho na účinné mechanismy pro konfiguraci programovatelných kryptografických komponent.[11]

V roce 2014 se společnost Launchbury připojila k DARPA, původně jako programový manažer a poté jako ředitel Informační inovační kancelář (I2O) v roce 2015.[9] Programy vedené Launchbury v homomorfní kryptografie (POKRAČOVAT ), kybernetická bezpečnost pro vozidla a další vestavěné systémy (HACMS ), a ochrana osobních údajů (Brandeis ).

V roce 2017 se společnost Launchbury připojila ke Galoisovi jako hlavní vědecký pracovník.

Další publikace

Launchbury publikoval teologický pohled na výklad morálního exempláře doktrína smíření, oprávněný Změňte nás, ne Boha: Biblické meditace o Ježíšově smrti.[12]

Reference

  1. ^ „Členové ACM“. Ocenění ACM. Sdružení pro výpočetní techniku. Citováno 21. září 2016.
  2. ^ Launchbury, John (1991). Faktorizace projekce při částečném hodnocení. New York, NY, USA: Cambridge University Press. p. 163. ISBN  978-0-521-41497-5.
  3. ^ Launchbury, John (1993). Přirozená sémantika pro líné hodnocení (PDF). Sémantický učenec. ACM. str. 144–154. doi:10.1145/158511.158618. ISBN  0897915607. S2CID  14945994. Citováno 19. ledna 2017.
  4. ^ „Tým Glasgow Haskell: Další skvělí přispěvatelé z minulosti“. Počítač Glasgow Haskell. Citováno 30. listopadu 2016.
  5. ^ Launchbury, John; Jones, Simon L. Peyton (1. prosince 1995). Stát v Haskellu (PDF). Boston, MA: Kluwer Academic Publishers. p. 51.
  6. ^ Launchbury, Johne. „Líné imperativní programování“. CiteSeerX. univerzita Yale. Citováno 19. ledna 2017.
  7. ^ Simon L. Peyton Jones; John Launchbury (1991). Unboxed hodnoty jako prvotřídní občané v nestriktním funkčním jazyce. New York, NY, USA: Springer-Verlag New York, Inc. s. 145–164. ISBN  978-0-387-54396-3.
  8. ^ Andrew Gill; John Launchbury; Simon L. Peyton Jones (Červen 1993). Zkratka k odlesňování (PDF). Kodaň, Dánsko: Konference Konference FPCA '93 o funkčních programovacích jazycích a počítačové architektuře.
  9. ^ A b „Dr. John Launchbury“. Domovská stránka DARPA. DARPA. Citováno 21. září 2016.
  10. ^ Galois, Inc (24. prosince 2008). „Kryptol, jazyk kryptografie, nyní k dispozici“. Galois.com. Citováno 30. listopadu 2016.
  11. ^ „Patenty od vynálezce Johna Launchburyho“. Justia Patents.
  12. ^ John Launchbury (1. srpna 2009). Změňte nás, ne Boha. WCF Publishing. p. 200. ISBN  978-0982409299.