Rodney Graham Downey (nacido el 20 de septiembre de 1957) [1] es un matemático e informático de Nueva Zelanda y Australia, [2] profesor en la Escuela de Matemáticas y Estadística de la Universidad Victoria de Wellington en Nueva Zelanda. [3] Es conocido por su trabajo en lógica matemática y teoría de la complejidad computacional , y en particular por fundar el campo de la complejidad parametrizada junto con Michael Fellows .
Downey obtuvo una licenciatura en la Universidad de Queensland en 1978 y luego se graduó en la Universidad de Monash , obteniendo un doctorado en 1982 bajo la supervisión de John Crossley . [1] [3] [4] Después de ocupar puestos docentes y visitantes en el Chisholm Institute of Technology , la Universidad de Western Illinois , la Universidad Nacional de Singapur y la Universidad de Illinois en Urbana-Champaign , llegó a Nueva Zelanda en 1986 como profesor de la Universidad de Victoria. Fue ascendido a lector en 1991 y se le otorgó una cátedra personal en Victoria en 1995. [1] [2]
También es autor o coautor de más de 200 artículos de investigación, [1] [6] incluida una secuencia muy citada de cuatro artículos con Michael Fellows y Karl Abrahamson que sientan las bases para el estudio de la complejidad parametrizada. [7]
En 1990, Downey ganó el Premio de Investigación Hamilton de la Sociedad Real de Nueva Zelanda. [8] En 1992, Downey ganó el Premio de Investigación de la Sociedad Matemática de Nueva Zelanda "por investigaciones penetrantes y prolíficas que lo han convertido en un destacado experto en muchos aspectos de la teoría de la recursión, el álgebra efectiva y la complejidad". [9]
En 1994, ganó el Premio de Investigación de la Asociación de Científicos de Nueva Zelanda y se convirtió en miembro de la Sociedad Real de Nueva Zelanda en 1996. [1] [10] En 2006, se convirtió en el primer matemático residente en Nueva Zelanda en dar un Conferencia en el Congreso Internacional de Matemáticos .
También ha dado conferencias invitadas en el Congreso Internacional de Lógica, Metodología y Filosofía de la Ciencia y la Conferencia ACM sobre Complejidad Computacional. Fue elegido miembro de ACM en 2007 "por sus contribuciones a la teoría de la computabilidad y la complejidad", convirtiéndose en el segundo miembro de ACM en Nueva Zelanda, [11] [12] y en el mismo año fue elegido miembro de la Sociedad Matemática de Nueva Zelanda . . [1]