Rodney Graham Downey (né le )Curriculum vitae, retrieved 19 February 2012. est un mathématicien et informaticien néo-zélandais et australien., professeur à la School of Mathematics and Statistics de l'université Victoria de Wellington en Nouvelle-ZélandeFaculty profile, Victoria University of Wellington, retrieved 19 February 2012.. 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 .

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 , avec une thèse intitulée Abstract Dependence, Recursion Theory and the Lattice of Recursively Enumerable Filters. Après avoir occupé des postes d'enseignement et de visite au , à l', à 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.

Downey a été président de la Société mathématique de Nouvelle-Zélande de 2001 à 2003..

Publications Downey est co-auteur de trois livres: Algorithmic Randomness and Complexity (avec D. Hirschfeldt, Springer, 2010)

Il est également l'auteur ou le co-auteur de plus de 200 articles de recherche Listing of Downey's computer science publications in DBLP. 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. . . ..

Prix et distinctions En 1990, Downey a remporté le Hamilton Research Award de la Royal Society of New Zealand. En 1992, Downey a remporté le prix de la recherche de la Société mathématique de Nouvelle-Zélande Awards, New Zealand Mathematical Society, consulté le 19 février 2012. 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 1996List of Current Fellows of the Royal Society of New Zealand, retrieved 19 February 2012.. 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 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élandeACM Fellow award citation, retrieved 19 February 2012.Professor Downey Becomes ACM Fellow, Victoria University of Wellington, 6 December 2007, retrieved 19 February 2012. 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 hasardShoenfield Prize Recipients, Association for Symbolic Logic, retrieved 19 February 2012.. En 2011, la Royal Society of New Zealand lui a décerné sa médaille Hector 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.. En 2012, il est devenu membre de l'American Mathematical SocietyList of Fellows of the American Mathematical Society, retrieved 10 November 2012.. 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 , , Danny Hermelin, et Rahul Santhanam pour leurs travaux sur les limites inférieures de la kernelisationL'article récompensé est On problems without polynomial kernels, Journal of Computer and System Sciences, vol 75, 2009, p. 423–434. En , 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, 2018 Rutherford Medal: Solving ‘Can’t compute’ and is that random sequence really random?.

Références

Liens externes

Page personnelle à l'Université Victoria de Wellington

Catégorie:Naissance en septembre 1957 Catégorie:Membre de l'American Mathematical Society Catégorie:Professeur à l'université Victoria de Wellington Catégorie:Étudiant de l'université Monash Catégorie:Étudiant de l'université du Queensland Catégorie:Mathématicien néo-zélandais du XXe siècle Catégorie:Mathématicien néo-zélandais du XXIe siècle Catégorie:Personnalité néo-zélandaise de l'informatique Catégorie:Mathématicien australien du XXe siècle Catégorie:Mathématicien australien du XXIe siècle Catégorie:Informaticien australien Catégorie:Gödel Lecturer Catégorie:Lauréat de la médaille Rutherford Catégorie:Personnalité en logique mathématique Catégorie:Universitaire néo-zélandais du XXe siècle Catégorie:Universitaire néo-zélandais du XXIe siècle Catégorie:Universitaire australien du XXe siècle Catégorie:Universitaire australien du XXIe siècle