Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

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

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

Биография [ править ]

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

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

Публикации [ править ]

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

  • Параметризованная сложность (совместно с Майклом Феллоузом , Springer, 1999 г.)
  • Алгоритмическая случайность и сложность (совместно с Д. Хиршфельдтом, Springer, 2010 г.)
  • Основы параметризованной сложности (совместно с Майклом Феллоузом , Springer, 2013 г.)
  • Таблица минимальных слабых истинных степеней и вычислимо перечислимые степени Тьюринга (совместно с Кеном Менг Нг и Дэвидом Ридом Соломоном, Мемуары Американского математического общества, том 2184, 2020 г.)
  • Иерархия степеней Тьюринга (с Ноамом Гринбергом, Анналы математических исследований № 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. ^ a b c d e f g Curriculum vitae , получено 19 февраля 2012 г.
  2. ^ a b Уиттл, Джефф (август 2004 г.), "Centrefold: Rod Downey" (PDF) , Информационный бюллетень Математического общества Новой Зеландии , 91.
  3. ^ a b Профиль факультета , Веллингтонский университет Виктории, получено 19 февраля 2012 г.
  4. ↑ Родни Грэм Дауни в проекте « Математическая генеалогия»
  5. ↑ Дауни, Род (апрель 2003 г.), «Отчет президента 2001–2002 гг.» (PDF) , Информационный бюллетень Математического общества Новой Зеландии , 87 : 4–6 .
  6. ^ Список публикаций Дауни по информатике в DBLP.
  7. ^ Дауни, Род G .; Fellows, Майкл Р. "Fixed-параметр уступчивость и полнота I. Основные результаты" (1995),, SIAM журнал по вычислениям , 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, DOI : 10.1016 / 0304-3975 (94) 00097-3 , MR 1323150 . Дауни, Род; Стипендиаты, Майкл (1993), "Управляемость и полнота с фиксированными параметрами. III. Некоторые структурные аспекты W- иерархии", Теория сложности , Кембридж: Cambridge Univ. Press, стр. 191–225, MR 1255345 . Abrahamson, Karl A .; Дауни, Родни Дж .; Fellows, Michael R. (1995), " с фиксированным параметром трактабильность и полнота IV О полноте для W [P] и аналоги PSPACE..", Annals чистой и прикладной логики , 73 (3): 235-276, DOI : 10.1016 / 0168-0072 (94) 00034-Z , Руководство по ремонту 1336643 .
  8. ^ [1]
  9. ^ Награды
  10. ↑ Список нынешних стипендиатов Королевского общества Новой Зеландии , полученный 19 февраля 2012 г.
  11. ^ ACM Fellow награду цитата , извлекаться 19 февраля 2012.
  12. ^ Профессор Дауни становится членом ACM , Веллингтонский университет Виктории, 6 декабря 2007 г., получено 19 февраля 2012 г.
  13. ^ Shoenfield премии Получатели , Ассоциация символической логики , извлекаться 19 февраля 2012.
  14. ^ Hector Медаль Рода Дауни , Новой Зеландии математического общества 16 ноября 2011 года, получен 19 февраля 2012.
  15. ^ Медаль присуждена начало новозеландских исследователей , RSNZ, 17 ноября 2011, получена 19 февраля 2012.
  16. ↑ Список членов Американского математического общества , получено 10 ноября 2012 г.
  17. ^ Медаль Резерфорда 2018: Решение «Невозможно вычислить» и действительно ли эта случайная последовательность случайна?

Внешние ссылки [ править ]

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