stringtranslate.com

Род Дауни

Родни Грэм Дауни (родился 20 сентября 1957 г.) [1] — новозеландский и австралийский математик и специалист по информатике, [2] почётный профессор Школы математики и статистики Университета Виктории в Веллингтоне в Новой Зеландии. [3] Он известен своими работами в области математической логики и теории сложности вычислений , в частности, созданием совместно с Майклом Феллоузом области параметризованной сложности .

Биография

Дауни получил степень бакалавра в Университете Квинсленда в 1978 году, а затем поступил в аспирантуру в Университете Монаша , получив докторскую степень в 1982 году под руководством Джона Кроссли . [1] [3] [4] После работы преподавателем и приглашенным преподавателем в Технологическом институте Чисхолма , Университете Западного Иллинойса , Национальном университете Сингапура и Университете Иллинойса в Урбане-Шампейне он приехал в Новую Зеландию в 1986 году в качестве лектора в Университете Виктории. В 1991 году он был повышен до должности доцента, в 1995 году получил персональную кафедру в Университете Виктории и вышел на пенсию в 2021 году. [1] [2]

Дауни был президентом Новозеландского математического общества с 2001 по 2003 год. [1] [5]

Публикации

Дауни является соавтором шести книг:

Он также является автором или соавтором около 300 научных работ, [1] [6], включая часто цитируемый цикл из четырех статей с Майклом Феллоузом и Карлом Абрахамсоном, заложивших основу для изучения параметризованной сложности. [7]

Награды и почести

В 1990 году Дауни получил премию Гамильтона за исследования от Королевского общества Новой Зеландии . [8] В 1992 году Дауни получил премию за исследования от Новозеландского математического общества «за глубокие и плодотворные исследования, которые сделали его ведущим экспертом во многих аспектах теории рекурсии, эффективной алгебры и сложности». [9]

В 1994 году он получил премию Ассоциации ученых Новой Зеландии за исследования, а в 1996 году стал членом Королевского общества Новой Зеландии. [1] [10] В 2006 году он стал первым математиком из Новой Зеландии, который выступил с приглашенной лекцией на Международном конгрессе математиков .

Он также читал лекции на Международном конгрессе логики, методологии и философии науки и на конференции ACM по вычислительной сложности. Он был избран членом ACM в 2007 году «за вклад в вычислимость и теорию сложности», став вторым членом ACM в Новой Зеландии, [11] [12] и в том же году был избран членом Новозеландского математического общества . [1] Также в 2007 году он был удостоен исследовательской стипендии Джеймса Кука за исследования природы вычислений. [13]

В 2010 году он получил премию Шенфилда (за статьи) Ассоциации символической логики за свою работу с Денисом Хиршфельдтом, Андре Нисом и Себастьяном Тервейном по случайности . [14] В 2011 году Королевское общество Новой Зеландии вручило ему медаль Гектора «за выдающуюся, получившую международное признание работу в области теории рекурсии, сложности вычислений и других аспектов математической логики и комбинаторики». [15] [16] В 2012 году он стал членом Американского математического общества . [17] В 2013 году он стал членом Австралийского математического общества .

В 2014 году он был награжден премией Нерода от Европейской ассоциации теоретической компьютерной науки совместно с Хансом Бодлендером , Майклом Феллоузом, Дэнни Хермелином, Лэнсом Фортноу и Рахулом Сантханамом за их работу над нижними границами кернелизации . В октябре 2016 года Дауни получил выдающуюся премию Гумбольдта за научные вклады.

Вместе с Денисом Хиршфельдтом Дауни выиграл еще одну премию Шёнфилда от Ассоциации символической логики, на этот раз книжную премию 2016 года за «Алгоритмическую случайность и сложность» . В 2018 году Дауни прочитал лекцию Гёделя Ассоциации символической логики под названием «Алгоритмическая случайность » на Европейской летней встрече в Удине, Италия. В том же году Дауни был награжден медалью Резерфорда , высшей наградой, присуждаемой Королевским обществом Новой Зеландии, «за его выдающиеся революционные исследования вычислимости, включая разработку теории параметризованной сложности и алгоритмическое изучение случайности». [18] В 2022 году Дауни был награжден исследовательской премией Новозеландской ассоциации стипендиатов фон Гумбольдта за исследования за предыдущие пять лет. [19] В 2023 году Дауни был награжден премией С. Барри Купера от Ассоциации вычислимости в Европе. [20] Эта награда присуждается каждые два-три года «исследователю, который внес вклад в широкое понимание и фундаментальное изучение вычислимости выдающимися результатами, основополагающим и прочным построением теории, исключительным служением исследовательским сообществам или сочетанием всего этого». [21]

Ссылки

  1. ^ abcdefg Curriculum vitae, получено 19 февраля 2012 г.
  2. ^ ab Whittle, Geoff (август 2004 г.), "Centrefold: Rod Downey" (PDF) , Информационный бюллетень Новозеландского математического общества , 91.
  3. ^ ab Профиль факультета, Университет Виктории в Веллингтоне, получено 19 февраля 2012 г.
  4. ^ Родни Грэм Дауни в проекте «Генеалогия математики»
  5. ↑ Дауни, Род (апрель 2003 г.), «Отчет президента 2001–2002» (PDF) , Информационный бюллетень Новозеландского математического общества , 87 : 4–6.
  6. ↑ Список публикаций Дауни по информатике в DBLP.
  7. ^ Дауни, Род Г.; Феллоуз, Майкл Р. (1995), «Обрабатываемость и полнота с фиксированными параметрами. I. Основные результаты», SIAM Journal on Computing , 24 (4): 873–921, CiteSeerX 10.1.1.408.3389 , doi :10.1137/S0097539792228228, MR  1342997 . Дауни, Род Г.; Феллоуз, Майкл Р. (1995), "Распознаваемость и полнота с фиксированными параметрами. II. О полноте для W [1]", Теоретическая информатика , 141 (1–2): 109–131, CiteSeerX 10.1.1.158.6771 , doi : 10.1016/0304-3975(94)00097-3 , MR  1323150 . Дауни, Род; Феллоуз, Майкл (1993), «Распознаваемость и полнота с фиксированными параметрами. III. Некоторые структурные аспекты иерархии W », Теория сложности , Кембридж: Cambridge Univ. Press, стр. 191–225, MR  1255345. Абрахамсон, Карл А.; Дауни, Родни Г.; Феллоуз, Майкл Р. (1995), «Распознаваемость и полнота с фиксированными параметрами. IV. О полноте для аналогов W[P] и PSPACE», Annals of Pure and Applied Logic , 73 (3): 235–276, doi :10.1016/0168-0072(94)00034-Z, MR  1336643.
  8. ^ «Получатели».
  9. ^ Награды
  10. ↑ Список действующих членов Королевского общества Новой Зеландии, получен 19 февраля 2012 г.
  11. ↑ Цитата о награждении ACM Fellow, получена 19 февраля 2012 г.
  12. ↑ Профессор Дауни становится членом ACM, Университет Виктории в Веллингтоне, 6 декабря 2007 г., получено 19 февраля 2012 г.
  13. ^ "Поиск стипендий Джеймса Кука 1996–2017". Королевское общество Te Apārangi . Получено 28 октября 2023 г. .
  14. ↑ Лауреаты премии Шоенфилда, Ассоциация символической логики , получено 19 февраля 2012 г.
  15. ↑ Медаль Гектора Роду Дауни, Новозеландское математическое общество, 16 ноября 2011 г., получено 19 февраля 2012 г.
  16. ↑ Медали, врученные ведущим новозеландским исследователям, Королевское научное общество Новой Зеландии, 17 ноября 2011 г., получено 19 февраля 2012 г.
  17. ↑ Список членов Американского математического общества, получен 10 ноября 2012 г.
  18. ^ Медаль Резерфорда 2018 года: Решение проблемы «Невозможно вычислить» и действительно ли эта случайная последовательность случайна?
  19. ^ "Научная премия Ассоциации Гумбольдта Новой Зеландии профессору Роду Дауни | Стипендиаты Ассоциации фон Гумбольдта Новой Зеландии".
  20. ^ "Премия имени С. Барри Купера 2023 года присуждена Роду Г. Дауни". 16 марта 2023 г.
  21. ^ "Премия С. Барри Купера". 18 июля 2019 г.

Внешние ссылки