Naștere | 20 septembrie 1957 |
---|---|
Naționalități |
Nou-zelandez australian |
Instruire |
Universitatea din Queensland Monash University |
Activități | Matematician , informatician |
Lucrat pentru | Victoria University of Wellington , Australian National University |
---|---|
Camp | Logica matematică |
Membru al |
American Mathematical Society Association for Computing Machinery |
Supervizor | John Crossley ( în ) |
Premii |
Rodney Graham Downey (n. 20 septembrie 1957) este matematician și informatician din Noua Zeelandă și Australia, profesor la Școala de Matematică și Statistică de la Universitatea Victoria din Wellington din Noua Zeelandă. Este cunoscut pentru munca sa în logica matematică și teoria complexității de calcul , în special pentru fondarea câmpului de complexitate stabilit cu Michael Fellows (în) .
Downey a obținut o licență la Universitatea din Queensland în 1978 și și-a continuat studiile la Universitatea Monash , obținând doctoratul în 1982 sub supravegherea lui John Crossley (în) cu o teză intitulată „Dependența abstractă, teoria recursivității și rețeaua filtrelor recursiv enumerabile ”. După ce a ocupat funcții didactice și a avut acces la Chisholm Institute of Technology (în) la Universitatea Western Illinois (în) la Universitatea Națională din Singapore și la Universitatea din Illinois la Urbana-Champaign , a venit în Noua Zeelandă în 1986 ca lector la Universitatea din Victoria. A fost promovat cititor în 1991 și a obținut un scaun personal la Victoria în 1995.
Downey a fost președinte al New Zealand Mathematical Society din 2001 până în 2003.
Downey este co-autorul a trei cărți:
El este, de asemenea, autorul sau co-autorul a peste 200 de lucrări de cercetare, inclusiv o suită foarte citată de patru lucrări, cu Michael Fellows și Karl Abrahamson, care pun bazele pentru studiul complexității parametrizate.
În 1990, Downey a câștigat premiul Hamilton pentru cercetare de la Royal Society din Noua Zeelandă . În 1992, Downey a câștigat Premiul de cercetare al Societății Matematice din Noua Zeelandă „pentru cercetări profunde și profunde, care l-au făcut un expert de frunte în multe aspecte ale teoriei recursivității, algebrei eficiente și complexității” . În 1994, a câștigat Premiul de Cercetare al Asociației Oamenilor de Știință din Noua Zeelandă și a devenit Fellow al Royal New Zealand Society în 1996. În 2006, a devenit primul matematician din Noua Zeelandă care a susținut o conferință la Congresul internațional al matematicienilor din Madrid o prelegere intitulată „Aleatoriu algoritmic și calculabilitate”. De asemenea, a susținut prelegeri la Congresul Internațional de Logică, Metodologie și Filosofie al Științei și la Conferința ACM privind Complexitatea Computațională. A fost ales membru al ACM (în) în 2007 „pentru contribuțiile sale la calculabilitate și teoria complexității”, devenind al doilea membru al ACM Noua Zeelandă și în același an a fost ales membru al Societății de Matematică din Noua Zeelandă . În 2010, a câștigat premiul Shoenfield al Asociației pentru Logică Simbolică (pentru articole) pentru munca sa cu Denis Hirschfeldt, Andre Nies și Sebastiaan Terwijn la Chance. În 2011, Societatea Regală din Noua Zeelandă i-a acordat Medalia Hector „pentru munca sa remarcabilă la nivel internațional în teoria recursivității, complexitatea calculului și alte aspecte ale logicii matematice și combinatoriei” . În 2012, a devenit membru al Societății Americane de Matematică . În 2013, a devenit membru al Australian Mathematical Society . În 2014, a primit prețul Nerode al Asociației Europene pentru Informatică Teoretică , împreună cu Hans Bodlaender (în) , Michael R. Fellows (în) , Danny Hermelin, Lance Fortnow (în) și Rahul Santhanam pentru munca lor în partea inferioară limitele kernelizării . În octombrie 2016, Downey a primit un Distinguished Humboldt Research Award pentru contribuțiile sale academice. Împreună cu Denis Hirschfeldt, Downey a câștigat un alt premiu Shoenfield de la Asociația pentru logică simbolică, de data aceasta premiul de carte 2016 pentru aleatorietate și complexitate algoritmică . În 2018, Downey a susținut Asociația pentru logică simbolică Prelegerea Gödel la întâlnirea europeană de vară de la Udine, Italia. În 2018, Downey a primit Medalia Rutherford , cea mai înaltă onoare acordată de Societatea Regală din Noua Zeelandă, „pentru cercetarea sa revoluționară preeminentă în calculabilitate, inclusiv dezvoltarea teoriei complexității parametrizate și studiul algoritmic al șansei” .