Rod Downey

Rod Downey Imagine în Infobox. Biografie
Naștere 20 septembrie 1957
Naționalități Nou-zelandez
australian
Instruire Universitatea din Queensland
Monash University
Activități Matematician , informatician
Alte informații
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) .

Educație și carieră

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.

Publicații

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.

Premii și recunoaștere

Î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” .

Referințe

(fr) Acest articol este preluat parțial sau în întregime din articolul din Wikipedia în engleză intitulat „  Rod Downey  ” ( vezi lista autorilor ) .
  1. Curriculum vitae , extras 19 februarie 2012.
  2. Geoff Whittle , „  Centrefold: Rod Downey  ” , Newsletter al New Zealand Mathematical Society , vol.  91,August 2004( citește online ).
  3. Profilul facultății , Victoria University of Wellington, recuperat pe 19 februarie 2012.
  4. (în) „  Rod Downey  ” pe site-ul Mathematics Genealogia Project
  5. Rod Downey , „  Raportul președintelui 2001–2002  ” , Newsletter of the New Zealand Mathematical Society , vol.  87,Aprilie 2003, p.  4–6 ( citiți online ).
  6. Listarea publicațiilor de informatică ale lui Downey în DBLP.
  7. Rod G. Downey și Michael R. Fellows , „  Tratabilitate și completitudine cu parametri fixi. I. Rezultate de bază  ”, SIAM Journal on Computing , vol.  24, nr .  4,1995, p.  873–921 ( DOI  10.1137 / S0097539792228228 , Recenzii matematice  1342997 ). Rod G. Downey și Michael R. Fellows , „  Tratabilitate și completitudine cu parametri fixi. II. Despre completitudinea pentru W [1]  ”, Theoretical Computer Science , vol.  141, n os  1-2,1995, p.  109–131 ( DOI  10.1016 / 0304-3975 (94) 00097-3 , Recenzii matematice  1323150 ). Rod Downey și Michael Fellows (contribuție: Tratabilitate și completitudine cu parametri fixi. III. Unele aspecte structurale ale ierarhiei W ), Teoria complexității , Cambridge, Cambridge Univ. Presa ,1993, 191–225  p. ( Recenzii matematice  1255345 ). Karl A. Abrahamson , Rodney G. Downey și Michael R. Fellows , „  Tratabilitate și completitudine cu parametri fixi. IV. Despre completitudine pentru analogii W [P] și PSPACE  ”, Annals of Pure and Applied Logic , vol.  73, nr .  3,1995, p.  235–276 ( DOI  10.1016 / 0168-0072 (94) 00034-Z , Recenzii matematice  1336643 ).
  8. [1]
  9. Premii , New Zealand Mathematical Society, accesat la 19 februarie 2012
  10. Lista membrilor actuali ai Societății Regale din Noua Zeelandă , recuperată pe 19 februarie 2012.
  11. Citarea premiului ACM Fellow , recuperată pe 19 februarie 2012.
  12. Profesorul Downey devine membru al ACM , Victoria University of Wellington, 6 decembrie 2007, recuperat 19 februarie 2012.
  13. Destinatarii premiului Shoenfield , Asociația pentru logică simbolică , recuperat pe 19 februarie 2012.
  14. Hector Medal to Rod Downey , New Zealand Mathematical Society, 16 noiembrie 2011, recuperat 19 februarie 2012.
  15. Medalii acordate cercetătorilor de top din Noua Zeelandă , RSNZ, 17 noiembrie 2011, recuperată la 19 februarie 2012.
  16. Lista Fellows of the American Mathematical Society , recuperată la 10 noiembrie 2012.
  17. Articolul premiat este Despre probleme fără nuclee polinomiale, Journal of Computer and System Sciences , vol. 75, 2009, p. 423–434
  18. Medalia Rutherford 2018: Rezolvarea „Nu se poate calcula” și secvența aleatoare este cu adevărat aleatorie?

linkuri externe