Род Дауни - Rod Downey

Профессор

Род Дауни

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

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

биография

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

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

Публикации

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

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

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

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

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

использованная литература

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