Neil D. Jones - Neil D. Jones - Wikipedia
Neil D. Jones | |
|---|---|
 | |
| narozený | 22. března 1941 (stáří79) Centralia, Illinois, Spojené státy |
| Národnost | americký |
| Státní občanství | Dánština (od roku 1991) |
| Alma mater | University of Western Ontario |
| Známý jako | Částečné hodnocení, analýza regulačního toku, ukončení změny velikosti |
| Ocenění | Řád Dannebrog (1998); Ocenění SIGPLAN Programming Languages Achievement Award (2014) |
| Vědecká kariéra | |
| Pole | Počítačová věda |
| Instituce | Kodaňská univerzita University of Aarhus University of Kansas Pennsylvania State University University of Western Ontario |
| Doktorský poradce | Arto Salomaa |
Neil D. Jones (narozen 22. března 1941 v Centralia, Illinois, USA) je Američan počítačový vědec. V současné době je profesorem Emeritní v počítačová věda na Kodaňská univerzita.
Jeho práce zahrnuje jak programovací jazyky, tak teorii výpočtu. V programovacích jazycích je obzvláště známý svou prací dílčí hodnocení a za průkopnickou práci v obouanalýza toku dat, analýza regulačního toku[1] a analýza ukončení.[2]V rámci teorie výpočtu byl jedním z průkopníků studia Redukce log prostoru a P-úplnost.[3]
Neil D. Jones je rytířem Řád Dannebrog (od roku 1998) a také člen Academia Europaea (od roku 1999). Je z roku 1998 Člen sdružení pro výpočetní techniku za „mimořádné příspěvky ke sémanticky zaměřené kompilaci, zejména k dílčímu hodnocení, a k teorii výpočtu, formálním modelům a jejich praktické realizaci“.[4]
externí odkazy
Vybrané publikace
- Neil D. Jones, Carsten K. Gomard a Peter Sestoft: Částečné vyhodnocení a automatické generování programu (1993) Kniha, plný text k dispozici online.
- Neil D. Jones, Vyčíslitelnost a složitost z programovací perspektivy (1997) Kniha, kterou vydalo MIT Press, online text je revidovanou a opravenou verzí.
Reference
- ^ Neil D. Jones (1981), „Analýza toku výrazů lambda“, Automaty, jazyky a programování, Přednášky v informatice, 115: 114–128, doi:10.1007/3-540-10843-2_10, ISBN 978-3-540-10843-6
- ^ Chin Soon Lee, Neil D. Jones a Amir M. Ben-Amram (2001), „Princip změny velikosti pro ukončení programu“, Principy programovacích jazyků, 36 (3): 81–92, doi:10.1145/373243.360210
- ^ Neil D. Jones a William T. Laaser (1974), „Complete Problems for Deterministic Polynomial Time“, Sympózium o teorii výpočtu: 40–46, doi:10.1145/800119.803883, S2CID 12251817
- ^ „Neil D. Jones“. Sdružení pro výpočetní techniku. Citováno 19. července 2017.
