Род Дауни

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

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

Биография

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

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

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

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

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

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

Ссылки

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

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

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

[cv-1] Jump up to: ^а ^б ^с ^д ^и ^ж ^г Биографические данные , получено 19 февраля 2012 г.

[cf-2] Jump up to: ^а ^б Уиттл, Джефф (август 2004 г.), «Центральная разворот: Род Дауни» (PDF) , Информационный бюллетень Новозеландского математического общества , стр. 91 .

[vuw-3] Jump up to: ^а ^б Профиль факультета , Университет Виктории в Веллингтоне, получено 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 , МР 1342997 . Дауни, Род Г.; Товарищи, Майкл Р. (1995), «Управляемость и полнота с фиксированными параметрами. II. О полноте для W [1]», Theoretical Computer Science , 141 (1–2): 109–131, CiteSeerX 10.1.1.158.6771 , дои : 10.1016/0304-3975(94)00097-3 , МР 1323150 . Дауни, Род; Товарищи, Майкл (1993), «Управляемость и полнота с фиксированными параметрами. III. Некоторые структурные аспекты иерархии W », Теория сложности , Кембридж: Cambridge Univ. Пресс, стр. 191–225, МР 1255345 . Абрахамсон, Карл А.; Дауни, Родни Г.; Товарищи, Майкл Р. (1995), «Управляемость и полнота с фиксированными параметрами. IV. О полноте аналогов W[P] и PSPACE», Annals of Pure and Applied Logic , 73 (3): 235–276, doi : 10.1016 /0168-0072(94)00034-Z , МР 1336643 .

[8] «Получатели» .

[9] Награды

[10] Список действующих членов Королевского общества Новой Зеландии , получено 19 февраля 2012 г.

[11] Цитата о награде ACM Fellow , получено 19 февраля 2012 г.

[12] Профессор Дауни становится научным сотрудником ACM , Университет Виктории в Веллингтоне, 6 декабря 2007 г., получено 19 февраля 2012 г.

[13] «Поиск наград стипендии Джеймса Кука за 1996–2017 годы» . Королевское общество Те Апаранги . Проверено 28 октября 2023 г.

[14] Лауреаты премии Шенфилда , Ассоциация символической логики , получено 19 февраля 2012 г.

[15] Медаль Гектора Роду Дауни , Новозеландское математическое общество, 16 ноября 2011 г., получено 19 февраля 2012 г.

[16] Медали, врученные ведущим исследователям Новой Зеландии , RSNZ, 17 ноября 2011 г., получены 19 февраля 2012 г.

[17] Список членов Американского математического общества , получено 10 ноября 2012 г.

[18] Медаль Резерфорда 2018: Решение вопроса «Не могу вычислить» и действительно ли эта случайная последовательность случайна?

[19] «Премия Ассоциации новозеландских стипендиатов Гумбольдта профессору Роду Дауни | Новозеландская ассоциация стипендиатов фон Гумбольдта» .

[20] «Премия С. Барри Купера 2023 года вручена Роду Дж. Дауни» . 16 марта 2023 г.

[21] «Премия С. Барри Купера» . 18 июля 2019 г.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]

[ 12 ]

[ 13 ]

[ 14 ]

[ 15 ]

[ 16 ]

[ 17 ]

[ 18 ]

[ 19 ]

[ 20 ]

[ 21 ]

Базы данных авторитетного контроля
International	ISNI VIAF WorldCat
National	Norway France BnF data Germany Israel United States Latvia Czech Republic Netherlands
Academics	Association for Computing Machinery DBLP MathSciNet Mathematics Genealogy Project zbMATH
Other	IdRef