Rod Downey
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Downey (homonymie).
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/92/Rod_Downey.jpg/260px-Rod_Downey.jpg)
Naissance | ![]() |
---|---|
Nationalités | néo-zélandaise australienne ![]() |
Formation | |
Activités | Mathématicien, informaticien ![]() |
A travaillé pour | |
---|---|
Membre de | Association for Computing Machinery () American Mathematical Society () ![]() |
Directeur de thèse | John Crossley (en) ![]() |
Distinctions | Liste détaillée Hamilton Award () Membre de la Société royale de Nouvelle-Zélande () ACM Fellow () James Cook Research Fellowship () Médaille Hector () Membre honoraire de l'American Mathematical Society () Prix IPEC Nerode () Fellow of the New Zealand Mathematical Society ![]() |
modifier - modifier le code - modifier Wikidata
Rodney Graham Downey (né le 20 septembre 1957)[1] est un mathématicien et informaticien néo-zélandais et australien[2], professeur à la School of Mathematics and Statistics de l'université Victoria de Wellington en Nouvelle-Zélande[3]. Il est connu pour son travail en logique mathématique et en théorie de la complexité computationnelle, et en particulier pour avoir fondé le domaine de la complexité paramétrée avec Michael Fellows (en).
Formation et carrière
Downey a obtenu un bachelor à l'université du Queensland en 1978, puis a poursuivi ses études à l'université Monash, obtenant un doctorat en 1982 sous la supervision de John Crossley (en), avec une thèse intitulée Abstract Dependence, Recursion Theory and the Lattice of Recursively Enumerable Filters[1],[3],[4]. Après avoir occupé des postes d'enseignement et de visite au Chisholm Institute of Technology (en), à l'université Western Illinois (en), à l'université nationale de Singapour et à l'université de l'Illinois à Urbana-Champaign, il est venu en Nouvelle-Zélande en 1986 en tant que chargé de cours à l'Université Victoria. Il a été promu lecteur en 1991 et a obtenu une chaise personnelle à Victoria en 1995[1],[2].
Downey a été président de la Société mathématique de Nouvelle-Zélande de 2001 à 2003[1],[5].
Publications
Downey est co-auteur de trois livres:
- Algorithmic Randomness and Complexity (avec D. Hirschfeldt, Springer, 2010)
- (en) Rod Downey et M.R. Fellows, Parameterized complexity, New York, Springer, , 533 p. (ISBN 978-0-387-94883-6, LCCN 97022882)
- (en) Rod Downey et M. R. Fellows, Fundamentals of Parameterized Complexity, London u.a., Springer, , 763 p. (ISBN 978-1-4471-5559-1, lire en ligne)
Il est également l'auteur ou le co-auteur de plus de 200 articles de recherche [1],[6] y compris une suite très citée de quatre articles avec Michael Fellows et Karl Abrahamson jetant les bases de l'étude de la complexité paramétrée[7].
Prix et distinctions
En 1990, Downey a remporté le Hamilton Research Award de la Royal Society of New Zealand[8]. En 1992, Downey a remporté le prix de la recherche de la Société mathématique de Nouvelle-Zélande « pour des recherches pénétrantes et prolifiques qui ont fait de lui un expert de premier plan dans de nombreux aspects de la théorie de la récursivité, de l'algèbre efficace et de la complexité »[9]. En 1994, il a remporté le prix de recherche de l'Association des scientifiques de Nouvelle-Zélande et est devenu membre de la Société royale de Nouvelle-Zélande en 1996[1],[10]. En 2006, il est devenu le premier mathématicien néo-zélandais à donner une conférence invitée au Congrès international des mathématiciens à Madrid avec une conférence intitulée « Algorithmic randomness and computability ». Il a également donné des conférences invitées au Congrès international de logique, méthodologie et philosophie des sciences et à la Conférence ACM sur la complexité informatique. Il a été élu membre de l'ACM (en) en 2007 « pour ses contributions à la calculabilité et à la théorie de la complexité », devenant ainsi le deuxième membre de l'ACM en Nouvelle-Zélande[11],[12] et la même année, il a été élu membre de la Société mathématique de Nouvelle-Zélande. En 2010, il a remporté le prix Shoenfield (pour les articles) de l'Association for Symbolic Logic pour son travail avec Denis Hirschfeldt, Andre Nies et Sebastiaan Terwijn sur le hasard[13]. En 2011, la Royal Society of New Zealand lui a décerné sa médaille Hector « pour son travail exceptionnel de renommée internationale en théorie de la récursivité, en complexité informatique et en autres aspects de la logique mathématique et de la combinatoire »[14],[15]. En 2012, il est devenu membre de l'American Mathematical Society[16]. En 2013, il est devenu membre de la Société mathématique australienne. En 2014, il a reçu le prix Nerode de l'Association européenne d'informatique théorique, conjointement avec Hans Bodlaender (en), Michael R. Fellows (en), Danny Hermelin, Lance Fortnow (en) et Rahul Santhanam pour leurs travaux sur les limites inférieures de la kernelisation[17]. En octobre 2016, Downey a reçu un prix de recherche Humboldt distingué pour ses contributions académiques. Avec Denis Hirschfeldt, Downey a remporté un autre prix Shoenfield de l'Association for Symbolic Logic, cette fois le prix du livre 2016 pour Algorithmic Randomness and Complexity. En 2018, Downey a prononcé la conférence Gödel de l'Association for Symbolic Logic lors de la réunion d'été européenne à Udine, en Italie. En 2018, Downey a reçu la médaille Rutherford, la plus haute distinction décernée par la Royal Society of New Zealand, « pour ses recherches révolutionnaires prééminentes sur la calculabilité, y compris le développement de la théorie de la complexité paramétrée et l'étude algorithmique du hasard »[18].
Références
- ↑ a b c d e et f Curriculum vitae, retrieved 19 February 2012.
- ↑ a et b Geoff Whittle, « Centrefold: Rod Downey », Newsletter of the New Zealand Mathematical Society, vol. 91, (lire en ligne).
- ↑ a et b Faculty profile, Victoria University of Wellington, retrieved 19 February 2012.
- ↑ (en) « Rod Downey », sur le site du Mathematics Genealogy Project
- ↑ Rod Downey, « President's report 2001–2002 », Newsletter of the New Zealand Mathematical Society, vol. 87, , p. 4–6 (lire en ligne).
- ↑ Listing of Downey's computer science publications in DBLP.
- ↑ Rod G. Downey et Michael R. Fellows, « Fixed-parameter tractability and completeness. I. Basic results », SIAM Journal on Computing, vol. 24, no 4, , p. 873–921 (DOI 10.1137/S0097539792228228, MR 1342997, CiteSeerx 10.1.1.408.3389). Rod G. Downey et Michael R. Fellows, « Fixed-parameter tractability and completeness. II. On completeness for W[1] », Theoretical Computer Science, vol. 141, nos 1–2, , p. 109–131 (DOI 10.1016/0304-3975(94)00097-3, MR 1323150). Rod Downey et Michael Fellows (contribution : Fixed-parameter tractability and completeness. III. Some structural aspects of the W hierarchy), Complexity theory, Cambridge, Cambridge Univ. Press, , 191–225 p. (MR 1255345). Karl A. Abrahamson, Rodney G. Downey et Michael R. Fellows, « Fixed-parameter tractability and completeness. IV. On completeness for W[P] and PSPACE analogues », Annals of Pure and Applied Logic, vol. 73, no 3, , p. 235–276 (DOI 10.1016/0168-0072(94)00034-Z, MR 1336643).
- ↑ [1]
- ↑ Awards, New Zealand Mathematical Society, consulté le 19 février 2012
- ↑ List of Current Fellows of the Royal Society of New Zealand, retrieved 19 February 2012.
- ↑ ACM Fellow award citation, retrieved 19 February 2012.
- ↑ Professor Downey Becomes ACM Fellow, Victoria University of Wellington, 6 December 2007, retrieved 19 February 2012.
- ↑ Shoenfield Prize Recipients, Association for Symbolic Logic, retrieved 19 February 2012.
- ↑ Hector Medal to Rod Downey, New Zealand Mathematical Society, 16 November 2011, retrieved 19 February 2012.
- ↑ Medals awarded to top New Zealand researchers, RSNZ, 17 November 2011, retrieved 19 February 2012.
- ↑ List of Fellows of the American Mathematical Society, retrieved 10 November 2012.
- ↑ L'article récompensé est On problems without polynomial kernels, Journal of Computer and System Sciences, vol 75, 2009, p. 423–434
- ↑ 2018 Rutherford Medal: Solving ‘Can’t compute’ and is that random sequence really random?
Liens externes
- Notices d'autorité
:
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Pays-Bas
- Israël
- NUKAT
- Norvège
- Tchéquie
- Lettonie
- WorldCat
- Ressources relatives à la recherche
:
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
- ResearchGate
- Page personnelle à l'Université Victoria de Wellington
Portail des mathématiques
Portail de l’informatique