Нил Д. Джонс
Нил Д. Джонс | |
|---|---|
 | |
| Рожденный | 22 марта 1941 г. Централия, Иллинойс , США |
| Умер | 27 марта 2023 г. (82 года) |
| Национальность | Американский |
| Гражданство | Датский (с 1991 г.) |
| Альма-матер | Университет Западного Онтарио |
| Известный | Частичная оценка , анализ потока управления , завершение изменения размера |
| Награды | Орден Даннеброга (1998 г.); Премия SIGPLAN за достижения в области языков программирования (2014 г.) |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Копенгагенский университет Орхусский университет Университет Канзаса Государственный университет Пенсильвании Университет Западного Онтарио |
| Докторантура | Арто Саломаа |
Нил Д. Джонс (22 марта 1941 Сентралия, Иллинойс , США — 27 марта 2023, Рунгстед , Дания ) — американский учёный-компьютерщик . профессором почетным информатики Он был в Копенгагенском университете .
Его работа охватывала как языки программирования, так и теорию вычислений. В языках программирования он был особенно известен своей работой по частичной оценке , а также новаторской работой в области анализа потоков данных и анализа потоков управления. [1] и анализ завершения . [2] В рамках теории вычислений он был одним из пионеров изучения редукции лог-пространства и P-полноты. [3]
Нил Д. Джонс был кавалером Ордена Даннеброга (с 1998 г.), а также членом Европейской академии (с 1999 г.). В 1998 году он был членом Ассоциации вычислительной техники за «выдающийся вклад в компиляцию, ориентированную на семантику, особенно частичную оценку, а также в теорию вычислений, формальные модели и их практическую реализацию». [4]
Внешние ссылки
[ редактировать ]Избранные публикации
[ редактировать ]- Нил Д. Джонс, Карстен К. Гомар и Питер Сестофт: Частичная оценка и автоматическая генерация программ (1993) Книга, полный текст доступен в Интернете.
- Нил Д. Джонс, «Вычислимость и сложность с точки зрения программирования» (1997). Книга, опубликованная MIT Press, онлайн-текст представляет собой переработанную и исправленную версию.
Ссылки
[ редактировать ]- ^ Джонс, Нил Д. (1981), «Потоковый анализ лямбда-выражений», Автоматы, языки и программирование , Конспекты лекций по информатике, том. 115, стр. 114–128, номер документа : 10.1007/3-540-10843-2_10 , ISBN. 978-3-540-10843-6
- ^ Чин Сун Ли, Нил Д. Джонс и Амир М. Бен-Амрам (2001), «Принцип изменения размера для завершения программы», Принципы языков программирования , 36 (3): 81–92, doi : 10.1145/373243.360210
- ^ Нил Д. Джонс и Уильям Т. Лаазер (1974), «Полные проблемы для детерминированного полиномиального времени», Симпозиум по теории вычислений : 40–46, doi : 10.1145/800119.803883 , S2CID 12251817
- ^ «Нил Д. Джонс» . Ассоциация вычислительной техники . Проверено 19 июля 2017 г.
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
