John Hughes (počítačový vědec) - John Hughes (computer scientist)
tento článek potřebuje další citace pro ověření.Ledna 2018) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) ( |
R. John M. Hughes (narozený počítačový vědec a profesor na katedře výpočetní vědy na VŠE Chalmers University of Technology.[1]
15. července 1958 ) je ŠvédPříspěvky
V roce 1984 získal Hughes titul PhD University of Oxford za práci „Návrh a implementace programovacích jazyků“.[2]
Hughes je členem skupiny funkčního programování v Chalmers a velká část jeho výzkumu se týká Haskell programovací jazyk. Provádí výzkum v oblasti programovací jazyky a je autorem mnoha vlivných výzkumných prací na toto téma, včetně „Proč záleží na funkčním programování“.[3]
Hughes je jedním z vývojářů Rychlá kontrola, stejně jako spoluzakladatel a generální ředitel společnosti QuviQ, která poskytuje software QuickCheck a nabízí kurzy, jak jej používat.[4]
V roce 2016 se objevil v populární věda Kanál YouTube Computerphile vysvětlující funkční programování a QuickCheck.[5][6]
Uznání
Hughes byl zvolen jako Člen ACM v roce 2018 za „příspěvky k testování softwaru a funkčnímu programování“.[7]
Viz také
Reference
- ^ „Stránka zaměstnanců Chalmers“.
- ^ NÁVRH A PROVÁDĚNÍ PROGRAMOVACÍCH JAZYKŮ (PDF), University of Oxford, červenec 1983, vyvoláno 7. listopadu 2018
- ^ Hughes, John (1989). „Proč je důležité funkční programování“. Počítačový deník. 32 (2): 98–107. doi:10.1093 / comjnl / 32.2.98. Citováno 6. května 2010.
- ^ IOHK (26. září 2018), IOHK - trénink funkční korektnosti QuviQ - John Hughes, vyvoláno 7. září 2019
- ^ Computerphile (30. listopadu 2016), Funkční programování a Haskell - Computerphile, vyvoláno 11. ledna 2018
- ^ Computerphile (18. ledna 2017), Automatizace kontroly kódu - Computerphile, vyvoláno 11. ledna 2018
- ^ Členové ACM 2018 oceněni za stěžejní úspěchy, které jsou základem digitálního věku, Sdružení pro výpočetní techniku, 5. prosince 2018
Bibliografie
- J. Hughes. "Zobecnění monád na šipky ".[1] Věda o počítačovém programování, (37):67-111, 2000.
externí odkazy
P ≟ NP | Tento životopisný článek týkající se a počítačový vědec je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |