Lawrence Paulson - Lawrence Paulson
Lawrence Paulson | |
---|---|
![]() Lawrence Paulson na královská společnost den přijetí v Londýně, červenec 2017 | |
narozený | Lawrence Charles Paulson 1955 (věk 64–65)[1] |
Státní občanství | USA / Velká Británie |
Alma mater | |
Známý jako | |
Manžel (y) |
|
Ocenění | |
Vědecká kariéra | |
Pole | |
Instituce | Univerzita v Cambridge Technická univerzita v Mnichově |
Teze | Generátor kompilátoru pro sémantické gramatiky (1981) |
Doktorský poradce | John L. Hennessy[6] |
webová stránka | www |
Lawrence Charles Paulson FRS[2] (narozen 1955)[1] je Američan počítačový vědec. On je Profesor z Výpočetní logika na Počítačová laboratoř University of Cambridge a a Chlapík z Clare College, Cambridge.[5][6][7][8][9]
Vzdělání
Paulson vystudoval Kalifornský technologický institut v roce 1977,[10] a získal titul PhD v oboru výpočetní techniky od Stanfordská Univerzita v roce 1981 pro výzkum programovací jazyky a překladač-překladač kontrolován John L. Hennessy.[6][11]
Výzkum
Paulson přišel k Univerzita v Cambridge v roce 1983 a stal se členem Clare College, Cambridge v roce 1987. On je nejlépe známý pro základní text v programovacím jazyce ML, ML pro pracovní programátor.[12][13] Jeho výzkum je založen na interaktivním důkazu vět Isabelle, kterou představil v roce 1986.[14] Pracoval na ověření kryptografické protokoly použitím induktivní definice,[15] a také formalizoval konstruovatelný vesmír z Kurt Gödel. Nedávno vytvořil nový tester vět, MetiTarski,[3] pro speciální funkce se skutečnou hodnotou.[16]
Paulson učí vysokoškolský přednáškový kurz v Výpočetní technika Tripos, oprávněný Logika a důkaz[17] který pokrývá automatizované dokazování věty a související metody. (Dříve učil Základy informatiky[18] který zavádí Funkcionální programování, ale tento kurz převzal Alan Mycroft a Amanda Prorok v roce 2017,[19] a poté Anil Madhavapeddy a Amanda Prorok v roce 2019.[20] )
Ocenění a vyznamenání
Paulson byl zvolen Člen Královské společnosti (FRS) v roce 2017,[2] A Člen sdružení pro výpočetní techniku v roce 2008[4] a význačný přidružený profesor logiky v informatice na Technická univerzita v Mnichově.[když? ][21]
Osobní život
Paulson má dvě děti po své první manželce, Dr. Susan Mary Paulson, která zemřela v roce 2010.[22] Od roku 2012 je ženatý s Dr. Elenou Tchougounovou.[1]
Reference
- ^ A b C Anon (2017). „Paulson, prof. Lawrence Charles“. Kdo je kdo. ukwhoswho.com (online Oxford University Press vyd.). A & C Black, otisk Bloomsbury Publishing plc. doi:10,1093 / hm / 9780199540884,013,289302. (předplatné nebo Členství ve veřejné knihovně ve Velké Británii Požadované) (vyžadováno předplatné)
- ^ A b C Anon (2017). „Profesor Lawrence Paulson FRS“. royalsociety.org. Londýn: královská společnost. Citováno 5. května 2017.
- ^ A b Akbarpour, B .; Paulson, L. C. (2009). „Meti Tarski: Automatický poskytovatel věty pro speciální funkce se skutečnou hodnotou “. Journal of Automated Reasoning. 44 (3): 175. CiteSeerX 10.1.1.157.3300. doi:10.1007 / s10817-009-9149-2. S2CID 16215962.
- ^ A b Anon (2008). „Profesor Lawrence C. Paulson“. awards.acm.org. Sdružení pro výpočetní techniku. Citováno 12. dubna 2016.
- ^ A b C d Lawrence Paulson publikace indexované podle Google Scholar
- ^ A b C Lawrence Paulson na Matematický genealogický projekt
- ^ Lawrence Paulson stránka s profilem autora na ACM Digitální knihovna
- ^ Lawrence C. Paulson v DBLP Bibliografický server
- ^ Lawrence Paulson publikace indexované indexem Scopus bibliografická databáze. (vyžadováno předplatné)
- ^ Lawrence Paulson ORCID 0000-0003-0288-4279
- ^ Paulson, Lawrence Charles (1981). Generátor kompilátoru pro sémantické gramatiky (PDF). cl.cam.ac.uk (Disertační práce). Stanfordská Univerzita. OCLC 757240716.
- ^ Paulson, Lawrence (1996). ML pro pracovního programátora. Cambridge New York: Cambridge University Press. ISBN 978-0521565431.
- ^ „ML pro pracovní programátor“. Univerzita v Cambridge. Citováno 25. listopadu 2015.
- ^ Paulson, L. C. (1986). "Přirozený odpočet jako rozlišení vyššího řádu". The Journal of Logic Programming. 3 (3): 237–258. arXiv:cs / 9301104. doi:10.1016/0743-1066(86)90015-4. S2CID 27085090.
- ^ Paulson, Lawrence C. (1998). "Induktivní přístup k ověřování kryptografických protokolů". Journal of Computer Security. 6 (1–2): 85–128. CiteSeerX 10.1.1.57.2049. doi:10.3233 / JCS-1998-61-205. ISSN 1875-8924.
- ^ Paulson, L. C. (2012). „Meti Tarski: Minulost a budoucnost “. Interaktivní dokazování věty. Přednášky z informatiky. 7406. s. 1–10. CiteSeerX 10.1.1.259.5577. doi:10.1007/978-3-642-32347-8_1. ISBN 978-3-642-32346-1.
- ^ Paulson, Larry. „Logika a důkaz“. Univerzita v Cambridge. Citováno 27. ledna 2020.
- ^ Paulson, Larry. „Základy informatiky“. Citováno 25. listopadu 2015.
- ^ "Katedra informatiky a technologie - Stránky kurzu 2017–18: Základy informatiky". www.cl.cam.ac.uk. Citováno 27. ledna 2020.
- ^ "Katedra informatiky a technologií - Stránky kurzu 2019–20: Základy informatiky". www.cl.cam.ac.uk. Citováno 27. ledna 2020.
- ^ „Osvědčení o jmenování“ (PDF). TU Mnichov. Citováno 12. dubna 2016.
- ^ Paulson, Lawrence (2010). „Susan Paulson, PhD (1959–2010)“. Univerzita v Cambridge. Citováno 25. listopadu 2015.
![]() | Tento životopisný článek týkající se počítačového specialisty je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |