Rod Downey

Professor Rod Downey FRSNZ , FNZMS , FACM
Född	( 1957-09-20 ) 20 september 1957
Nationalitet	Nyzeeländare , australiensisk
Yrke(n)	Professor i matematik, Victoria University of Wellington
Känd för	Beräkningsbarhetsteori , inkl. parametriserad komplexitet
Utmärkelser	RSNZ Hector Medal och Rutherford Medal
Akademisk bakgrund
Alma mater	Monash (PhD 1982) Queensland (BSc 1978)
Doktorand rådgivare	John Crossley
Hemsida	Här

Rodney Graham Downey (född 20 september 1957) är en nyzeeländsk och australisk matematiker och datavetare, professor vid School of Mathematics and Statistics vid Victoria University of Wellington i Nya Zeeland. Han är känd för sitt arbete inom matematisk logik och beräkningskomplexitetsteori , och i synnerhet för att ha grundat området parametriserad komplexitet tillsammans med Michael Fellows .

Biografi

Downey tog en kandidatexamen vid University of Queensland 1978, och gick sedan vidare till forskarskolan vid Monash University och tog doktorsexamen 1982 under överinseende av John Crossley . Efter att ha haft lärar- och besöksbefattningar vid Chisholm Institute of Technology , Western Illinois University , National University of Singapore och University of Illinois i Urbana-Champaign , kom han till Nya Zeeland 1986 som föreläsare vid Victoria University. Han befordrades till läsare 1991 och fick en personlig stol på Victoria 1995.

Downey var ordförande för New Zealand Mathematical Society från 2001 till 2003.

Publikationer

Downey är medförfattare till fem böcker:

• Parameterized Complexity (med Michael Fellows , Springer, 1999)
• Algoritmisk slumpmässighet och komplexitet (med D. Hirschfeldt, Springer, 2010)
• Fundamentals of Parameterized Complexity (med Michael Fellows , Springer, 2013)
• Minimala svaga sanningstabellsgrader och beräkningsbart uppräknade Turinggrader (med Keng Meng Ng och David Reed Solomon, Memoirs American Mathematical Society, Vol. 2184, 2020)
• A Hierarchy of Turing Degrees (med Noam Greenberg, Annals of Mathematics Studies nr. 206, Princeton University Press, 2020)

Han är också författare eller medförfattare till över 200 forskningsartiklar, inklusive en mycket citerad sekvens av fyra artiklar med Michael Fellows och Karl Abrahamson som lägger grunden för studiet av parametriserad komplexitet.

Utmärkelser och utmärkelser

1990 vann Downey Hamilton Research Award från Royal Society of New Zealand . 1992 vann Downey Research Award från New Zealand Mathematical Society "för inträngande och produktiva undersökningar som har gjort honom till en ledande expert inom många aspekter av rekursionsteori, effektiv algebra och komplexitet".

1994 vann han New Zealand Association of Scientists Research Award och blev stipendiat i Royal Society of New Zealand 1996. 2006 blev han den första Nya Zeeland-baserade matematikern att hålla en inbjuden föreläsning vid den internationella kongressen av Matematiker .

Han har också hållit inbjudna föreläsningar vid International Congress of Logic, Methodology and Philosophy of Science och ACM Conference on Computational Complexity. Han valdes till ACM Fellow 2007 "för bidrag till beräkningsbarhet och komplexitetsteori", och blev den andra ACM Fellow i Nya Zeeland, och samma år valdes han som fellow i New Zealand Mathematical Society .

2010 vann han Shoenfield-priset (för artiklar) från Association for Symbolic Logic för sitt arbete med Denis Hirschfeldt, Andre Nies och Sebastiaan Terwijn om slumpmässighet . 2011 gav Royal Society of New Zealand honom sin Hector-medalj "för hans enastående, internationellt hyllade arbete inom rekursionsteori, beräkningskomplexitet och andra aspekter av matematisk logik och kombinatorik." 2012 blev han fellow i American Mathematical Society . 2013 blev han Fellow i Australian Mathematical Society .

2014 tilldelades han Nerode-priset från European Association for Theoretical Computer Science , tillsammans med Hans Bodlaender , Michael Fellows, Danny Hermelin, Lance Fortnow och Rahul Santhanam för deras arbete med kärnbildnings nedre gränser. I oktober 2016 fick Downey ett framstående Humboldt Research Award för sina akademiska insatser.

Med Denis Hirschfeldt vann Downey ytterligare ett Shoenfield-pris från Association for Symbolic Logic, denna gång 2016 års bokpris för Algorithmic Randomness and Complexity . Under 2018 höll Downey Gödel-föreläsningen från Association for Symbolic Logic, med titeln Algoritmisk slumpmässighet , vid European Summer Meeting i Udine, Italien. Samma år tilldelades Downey Rutherford-medaljen , den högsta utmärkelsen som tilldelas av Royal Society of New Zealand, "för hans framstående revolutionära forskning om beräkningsbarhet, inklusive utveckling av teorin om parametriserad komplexitet och den algoritmiska studien av slumpmässighet." 2022 tilldelades Downey New Zealand Association of von Humboldt Fellows Research Award för forskning under de föregående fem åren.

externa länkar

• Hemsida på Victoria University of Wellington