Нил Д. Джонс - Википедия - Neil D. Jones
Нил Д. Джонс | |
|---|---|
 | |
| Родившийся | 22 марта 1941 г. (возраст79) Централия, Иллинойс, Соединенные Штаты |
| Национальность | Американец |
| Гражданство | Датский (с 1991 г.) |
| Альма-матер | Университет Западного Онтарио |
| Известен | Частичная оценка, анализ потока управления, прекращение при изменении размера |
| Награды | Орден Даннеброга (1998); Премия SIGPLAN Programming Languages Achievement Award (2014) |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Копенгагенский университет Орхусский университет Канзасский университет Государственный университет Пенсильвании Университет Западного Онтарио |
| Докторант | Арто Саломаа |
Нил Д. Джонс (родился 22 марта 1941 г. Централия, Иллинойс, США) - американец специалист в области информатики. В настоящее время он является профессором Почетный в Информатика в Копенгагенский университет.
Его работа охватывает как языки программирования, так и теорию вычислений. Среди языков программирования он особенно известен своей работой над частичная оценка и за новаторскую работу в обоиханализ потока данных, анализ потока управления[1] и анализ прекращения.[2]В рамках теории вычислений он был одним из пионеров изучения Сокращение пространства журнала и P-полнота.[3]
Нил Д. Джонс - Рыцарь Орден Даннеброга (с 1998 г.), а также член Academia Europaea (с 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, Дои:10.1145/373243.360210
- ^ Нил Д. Джонс и Уильям Т. Лазер (1974), "Полные задачи для детерминированного полиномиального времени", Симпозиум по теории вычислений: 40–46, Дои:10.1145/800119.803883, S2CID 12251817
- ^ "Нил Д. Джонс". Ассоциация вычислительной техники. Получено 19 июля 2017.
