Philip Wadler - Philip Wadler
Phil Wadler | |
---|---|
Philip Wadler před přednáškou na VŠE University of Edinburgh. | |
narozený | Philip Lee Wadler 8. dubna 1956 |
Alma mater |
|
Ocenění | |
Vědecká kariéra | |
Pole | Programovací jazyky[3] |
Instituce | |
Teze | Listlessness is Better than Laziness: Algorithm that Transforms Applicative Programs to Eliminate Intermediate Lists (1984) |
Doktorský poradce | Nico Habermann[4] |
Doktorandi | |
webová stránka |
Philip Lee Wadler (narozen 8. dubna 1956) je Američan počítačový vědec známý svými příspěvky do návrh programovacího jazyka a teorie typů. Zejména přispěl k teorii Funkcionální programování[8] a používání monady ve funkčním programování, design čistě funkčního jazyka Haskell,[9] a XQuery deklarativní dotazovací jazyk. V roce 1984 vytvořil Programovací jazyk Orwell. Wadler se podílel na přidávání obecný typy do Jáva 5.0.[10] Je také autorem příspěvku Věty zdarma![11] které vedly k velkému výzkumu optimalizace funkčních jazyků (viz také Parametricita ).
Vzdělávání
Wadler obdržel a Bakalář věd vzdělání v oboru matematika z Stanfordská Univerzita v roce 1977, a Mistr vědy titul v oboru výpočetní techniky od Univerzita Carnegie Mellon v roce 1979.[12] Dokončil své doktor filozofie v oboru počítačových věd na Carnegie Mellon University v roce 1984. Jeho práce měla název Listlessness is Better than Leniness a byl pod dohledem Nico Habermann.[13][4]
Výzkum a kariéra
Wadlerovy výzkumné zájmy[14][3][15] jsou v programovací jazyky.[10][16]
Wadler byl výzkumný pracovník na Programovací výzkumná skupina (část Oxford University Computing Laboratory ) a St Cross College, Oxford během 1983–87.[12] Postupně byl lektorem, čtenářem a profesorem na University of Glasgow od roku 1987 do roku 1996. Wadler byl členem technického personálu společnosti Bell Labs, Lucent Technologies (1996–99) a poté v Avaya Laboratoře (1999–2003). Od roku 2003 je profesorem teoretická informatika ve škole informatiky na University of Edinburgh.[17]
Wadler byl redaktorem časopisu Journal of Functional Programming od roku 1990 do roku 2004. Wadler je v současné době[když? ] pracovat na novém funkčním jazyce určeném pro psaní webové aplikace, volala Odkazy.[18] Dohlížel na dokončení mnoha doktorandů.[4][5][6][7]
Od roku 2003 je Wadler profesorem teoretická informatika v Laboratoři pro základy výpočetní techniky na University of Edinburgh a je předsedou Teoretické informatiky.[19] Je také členem univerzity Blockchain Technologická laboratoř.[20][21] Má h-index 70 s 24 447 citacemi na Google Scholar.[22] V prosinci 2018 byl Wadler oblastním lídrem v oblasti programovacích jazyků v IOHK, vývojové firmě blockchain.[23]
Ocenění a vyznamenání
Wadler obdržel Nejvlivnější cena papíru POPL v roce 2003 pro rok 1993 POPL Symposium paper Imperativní funkční programováníspolečně s Simon Peyton Jones.[12][24]V roce 2005 byl zvolen Člen Královské společnosti v Edinburghu.[1] V roce 2007 byl uveden jako Člen ACM podle Sdružení pro výpočetní techniku (ACM).[2]
Reference
- ^ A b Profil Royal Society of Edinburgh
- ^ A b Stránka ocenění ACM stipendium
- ^ A b Philip Wadler publikace indexované podle Google Scholar
- ^ A b C d E F G Philip Wadler na Matematický genealogický projekt
- ^ A b Hutchins, DeLesley (2009). Systémy čistého podtypu: teorie typů pro rozšiřitelný software. ethos.bl.uk (Disertační práce). University of Edinburgh. hdl:1842/3937. OCLC 781103005.
- ^ A b Lester, David. (1988). Redukce kombinátorového grafu: Shoda a její aplikace. bodleian.ox.ac.uk (DPhil thesis). University of Oxford. ISBN 9780902928558. OCLC 937098100.
- ^ A b Yallop, Jeremy (2010). Abstrakce pro webové programování. ethos.bl.uk (Disertační práce). University of Edinburgh. hdl:1842/4683. OCLC 827264319.
- ^ "Philip Wadler: Životopis". O'Reilly Media. Citováno 20. března 2017.
- ^ Hudak, P .; Johnsson, T .; Kieburtz, D .; Nikhil, R .; Partain, W .; Peterson, J .; Peyton Jones, S.; Wadler, P.; Boutel, B .; Fairbairn, J .; Fasel, J .; Guzmán, M. A. M .; Hammond, K .; Hughes, J. (1992). Msgstr "Zpráva o programovacím jazyce Haskell". Oznámení ACM SIGPLAN. 27 (5): 1. doi:10.1145/130697.130699. S2CID 15516611.
- ^ A b Wadler, Philip; Naftalin, Maurice (2007). Generiky a sbírky Java. Sebastopol, CA: O'Reilly. ISBN 978-0-596-52775-4.
- ^ Wadler, P. (1989). „Věty zdarma!“. Sborník ze čtvrté mezinárodní konference o funkčních programovacích jazycích a počítačové architektuře - FPCA '89. str. 347. doi:10.1145/99370.99404. ISBN 978-0897913287. S2CID 5513047.
- ^ A b C „Philip Wadler: CV“ (PDF). Domovské stránky.inf.ed.ac.uk. Citováno 20. března 2017.
- ^ Wadler, Philip Lee (1984). Listlessness is Better than Laziness: Algorithm that Transforms Applicative Programs to Eliminate Intermediate Lists (Disertační práce). Univerzita Carnegie Mellon. OCLC 123317612. ProQuest 303342238. (vyžadováno předplatné)
- ^ Philip Wadler na DBLP Bibliografický server
- ^ Publikace Philipa Wadlera indexováno podle Scopus bibliografická databáze. (vyžadováno předplatné)
- ^ Pták, Richard Miller; Wadler, Philip (1998). Úvod do funkčního programování pomocí Haskell. New York: Prentice Hall Europe. ISBN 978-0-13-484346-9.
- ^ „Philip Wadler“. Inf.ed.ac.uk. Citováno 20. března 2017.
- ^ „Archivovaná kopie“. Archivovány od originál dne 17. června 2006. Citováno 22. června 2006.CS1 maint: archivovaná kopie jako titul (odkaz)
- ^ „Philip Wadler“. inf.ed.ac.uk. University of Edinburgh. n.d. Citováno 5. února 2019.
- ^ „Seznam lidí zapojených do Blockchain Technology Lab“. vyd. ac.uk. University of Edinburgh. 14. prosince 2018. Citováno 5. února 2019.
- ^ Wadler, Philip (n.d.). „Domovská stránka Philipa Wadlera“. http://homepages.inf.ed.ac.uk. domovské stránky. Citováno 5. února 2019. Externí odkaz v
| web =
(Pomoc) - ^ „Philip Wadler“. scholar.google.co.uk. Google Scholar. n.d. Citováno 5. února 2019.
- ^ Wall, Jeremy (12. prosince 2018). „IOHK uvádí na trh 2 nové nástroje pro inteligentní vývoj smluv“. Investujte do blockchainu. Citováno 25. března 2020.
- ^ Peyton Jones, S.L.; Wadler, P. (1993). "Imperativní funkční programování". Sborník z 20. sympozia ACM SIGPLAN-SIGACT o zásadách programovacích jazyků - POPL '93. str. 71. CiteSeerX 10.1.1.53.2504. doi:10.1145/158511.158524. ISBN 978-0897915601. S2CID 9751593.
externí odkazy
Média související s Philip Wadler na Wikimedia Commons