Род Дауни
Род Дауни | |
|---|---|
 | |
| Рожденный | 20 сентября 1957 г. |
| Национальность | новозеландец , австралиец |
| Род занятий | Профессор математики Веллингтонского университета Виктории |
| Известный | Теория вычислимости , в т.ч. параметризованная сложность |
| Награды | 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]
Ссылки [ править ]
- ^ Перейти обратно: а б с д Это ж г Биографические данные , получено 19 февраля 2012 г.
- ^ Перейти обратно: а б Уиттл, Джефф (август 2004 г.), «Центральная разворот: Род Дауни» (PDF) , Информационный бюллетень Новозеландского математического общества , стр. 91 .
- ^ Перейти обратно: а б Профиль факультета , Университет Виктории в Веллингтоне, получено 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 г.
Внешние ссылки [ править ]
- Домашняя страница Веллингтонского университета Виктории
- Живые люди
- Австралийские ученые-компьютерщики
- Австралийские математики
- Новозеландские ученые-компьютерщики
- Выпускники Университета Квинсленда
- Выпускники Университета Монаша
- Академический состав Университета Виктории в Веллингтоне
- Теоретики-компьютерщики
- Математические логики
- Члены Американского математического общества
- 2007 г. Члены Ассоциации вычислительной техники.
- Члены Королевского общества Новой Зеландии
- 1957 рождений
- Математики Новой Зеландии XX века
- Математики Новой Зеландии XXI века
- Лауреаты медали Резерфорда
- Научные сотрудники Джеймса Кука