Род Дауни - Rod Downey - Wikipedia

Профессор

Род Дауни

ФРСНЗ, ФНЗМС, FACM
Род Дауни.jpg
Родившийся (1957-09-20) 20 сентября 1957 г. (63 года)
НациональностьНовозеландец, Австралийский
Род занятийПрофессор математики, Веллингтонский университет Виктории
ИзвестенТеория вычислимости, в т.ч. параметризованная сложность
НаградыРСНЗ Медаль Гектора и Медаль Резерфорда
Академическое образование
Альма-матерМонаш (Доктор философии 1982 г.)
Квинсленд (Бакалавр 1978 г.)
ДокторантДжон Кроссли
Интернет сайтЗдесь

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

биография

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

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

Публикации

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

  • Параметризованная сложность (с Майкл Феллоуз, Springer, 1999).
  • Алгоритмическая случайность и сложность (совместно с Д. Хиршфельдтом, Springer, 2010 г.)
  • Основы параметризованной сложности (с Майкл Феллоуз, Springer, 2013).
  • Таблица минимальных слабых истинных степеней и вычислимо перечислимые степени Тьюринга (Совместно с Кеном Менг Нг и Дэвидом Ридом Соломоном, Мемуары Американского математического общества, том 2184, 2020 г.)
  • Иерархия степеней Тьюринга (с Ноамом Гринбергом, Annals of Mathematics Studies No. 206, Princeton University Press, 2020)

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

Награды и награды

В 1990 году Дауни получил премию Гамильтона за исследования Королевского общества Новой Зеландии.[8] В 1992 году Дауни получил премию Новозеландского математического общества за исследования «за проницательные и плодотворные исследования, которые сделали его ведущим специалистом во многих аспектах теории рекурсии, эффективной алгебры и сложности».[9] Математическое общество Новой Зеландии, получено 19 февраля 2012 г. В 1994 г. он выиграл премию Ассоциации ученых Новой Зеландии за исследования и стал членом Королевское общество Новой Зеландии в 1996 г.[1][10] В 2006 году он стал первым математиком из Новой Зеландии, прочитавшим приглашенную лекцию в Международный конгресс математиков. Он также читал приглашенные лекции на Международном конгрессе логики, методологии и философии науки и конференции ACM по вычислительной сложности. Он был избран Член ACM в 2007 г. «за вклад в теорию вычислимости и сложности», став вторым стипендиатом ACM в Новой Зеландии,[11][12] и в том же году был избран членом Математическое общество Новой Зеландии.[1]В 2010 году он получил премию Шенфилда (за статьи) Ассоциация символической логики за его работу с Денисом Хиршфельдтом, Андре Нисом и Себастьяном Тервейном над случайность.[13]В 2011 году Королевское общество Новой Зеландии дало ему Медаль Гектора «За выдающуюся и получившую международное признание работу в области теории рекурсии, сложности вычислений и других аспектов математической логики и комбинаторики».[14][15] В 2012 году он стал членом Американское математическое общество.[16] В 2013 году он стал членом Австралийское математическое общество. В 2014 г. награжден Приз Нероде от Европейская ассоциация теоретической информатики совместно с Ганс Бодлендер, Майкл Феллоуз, Дэнни Хермелин, Лэнс Фортноу и Рахулу Сантанаму за их работу над ядро нижние оценки. В октябре 2016 года Дауни получил выдающийся Премия Гумбольдта за исследования за его академический вклад. Вместе с Денисом Хиршфельдтом Дауни получил еще одну премию Шенфилда от Ассоциации символической логики, на этот раз книжную премию 2016 г. Алгоритмическая случайность и сложность. В 2018 году Дауни прочитал лекцию Геделя Ассоциации символической логики на Европейском летнем собрании в Удине, Италия. В 2018 году Дауни был награжден Медаль Резерфорда, высшая награда, присужденная Королевским обществом Новой Зеландии, «за выдающиеся революционные исследования в области вычислимости, включая развитие теории параметризованной сложности и алгоритмического исследования случайности».[17]

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

  1. ^ а б c d е ж грамм Биография Резюме, получено 19 февраля 2012 г.
  2. ^ а б Уиттл, Джефф (август 2004 г.), "Centrefold: Род Дауни" (PDF), Информационный бюллетень Математического общества Новой Зеландии, 91.
  3. ^ а б Профиль факультета, Victoria University of Wellington, получено 19 февраля 2012 г.
  4. ^ Родни Грэм Дауни на Проект "Математическая генеалогия"
  5. ^ Дауни, Род (апрель 2003 г.), «Доклад Президента 2001–2002 гг.» (PDF), Информационный бюллетень Математического общества Новой Зеландии, 87: 4–6.
  6. ^ Список публикаций Дауни по информатике в DBLP.
  7. ^ Дауни, Род Дж .; Товарищи, Майкл Р. (1995), "Управляемость и полнота с фиксированными параметрами. I. Основные результаты", SIAM Журнал по вычислениям, 24 (4): 873–921, CiteSeerX  10.1.1.408.3389, Дои:10.1137 / S0097539792228228, МИСТЕР  1342997. Дауни, Род Дж .; Товарищи, Майкл Р. (1995), "Управляемость и полнота с фиксированными параметрами. II. О полноте для W[1]", Теоретическая информатика, 141 (1–2): 109–131, Дои:10.1016/0304-3975(94)00097-3, МИСТЕР  1323150. Дауни, Род; Стипендиаты, Майкл (1993), "управляемость и полнота с фиксированными параметрами. III. Некоторые структурные аспекты W иерархия », Теория сложности, Кембридж: Cambridge Univ. Press, стр. 191–225, МИСТЕР  1255345. Abrahamson, Karl A .; Дауни, Родни Дж .; Товарищи, Майкл Р. (1995), "Управляемость и полнота с фиксированными параметрами. IV. О полноте для аналогов W [P] и PSPACE", Анналы чистой и прикладной логики, 73 (3): 235–276, Дои:10.1016 / 0168-0072 (94) 00034-Z, МИСТЕР  1336643.
  8. ^ [1]
  9. ^ Награды
  10. ^ Список нынешних членов Королевского общества Новой Зеландии, получено 19 февраля 2012 г.
  11. ^ Ссылка на награду участника ACM, получено 19 февраля 2012 г.
  12. ^ Профессор Дауни стал научным сотрудником ACM, Victoria University of Wellington, 6 декабря 2007 г., получено 19 февраля 2012 г.
  13. ^ Получатели премии Шенфилда, Ассоциация символической логики, получено 19 февраля 2012 г.
  14. ^ Медаль Гектора Роду Дауни, Математическое общество Новой Зеландии, 16 ноября 2011 г., данные получены 19 февраля 2012 г.
  15. ^ Медали награждены ведущими исследователями Новой Зеландии, РСНЗ, 17 ноября 2011 г., получено 19 февраля 2012 г.
  16. ^ Список членов Американского математического общества, получено 10 ноября 2012 г.
  17. ^ Медаль Резерфорда 2018: решение «Невозможно вычислить» и действительно ли эта случайная последовательность случайна?

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