Нил Д. Джонс - Википедия - Neil D. Jones

Нил Д. Джонс
Нил Д. Джонс.JPG
Родившийся22 марта 1941 г. (1941-03-22) (возраст79)
Централия, Иллинойс, Соединенные Штаты
НациональностьАмериканец
ГражданствоДатский (с 1991 г.)
Альма-матерУниверситет Западного Онтарио
ИзвестенЧастичная оценка, анализ потока управления, прекращение при изменении размера
НаградыОрден Даннеброга (1998); Премия SIGPLAN Programming Languages ​​Achievement Award (2014)
Научная карьера
ПоляИнформатика
УчрежденияКопенгагенский университет
Орхусский университет
Канзасский университет
Государственный университет Пенсильвании
Университет Западного Онтарио
ДокторантАрто Саломаа

Нил Д. Джонс (родился 22 марта 1941 г. Централия, Иллинойс, США) - американец специалист в области информатики. В настоящее время он является профессором Почетный в Информатика в Копенгагенский университет.

Его работа охватывает как языки программирования, так и теорию вычислений. Среди языков программирования он особенно известен своей работой над частичная оценка и за новаторскую работу в обоиханализ потока данных, анализ потока управления[1] и анализ прекращения.[2]В рамках теории вычислений он был одним из пионеров изучения Сокращение пространства журнала и P-полнота.[3]

Нил Д. Джонс - Рыцарь Орден Даннеброга (с 1998 г.), а также член Academia Europaea (с 1999 г.). 1998 г. Член Ассоциации вычислительной техники за «выдающийся вклад в семантическую компиляцию, особенно частичную оценку, а также в теорию вычислений, формальные модели и их практическую реализацию».[4]

внешняя ссылка

Избранные публикации

Рекомендации

  1. ^ Нил Д. Джонс (1981), "Анализ потока лямбда-выражений", Автоматы, языки и программирование, Конспект лекций по информатике, 115: 114–128, Дои:10.1007/3-540-10843-2_10, ISBN  978-3-540-10843-6
  2. ^ Чин Сун Ли, Нил Д. Джонс и Амир М. Бен-Амрам (2001), «Принцип изменения размера для завершения программы», Принципы языков программирования, 36 (3): 81–92, Дои:10.1145/373243.360210
  3. ^ Нил Д. Джонс и Уильям Т. Лазер (1974), "Полные задачи для детерминированного полиномиального времени", Симпозиум по теории вычислений: 40–46, Дои:10.1145/800119.803883, S2CID  12251817
  4. ^ "Нил Д. Джонс". Ассоциация вычислительной техники. Получено 19 июля 2017.