Rodney Graham Downey (nacido el 20 de septiembre de 1957) [1] es un matemático y científico informático neozelandés y australiano, [2] profesor emérito de 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 realizó estudios de posgrado en la Universidad de Monash , donde obtuvo un doctorado en 1982 bajo la supervisión de John Crossley . [1] [3] [4] Después de ocupar puestos de profesor y visitante en el Instituto de Tecnología Chisholm , 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 en la Universidad de Victoria. Fue ascendido a lector en 1991, se le dio una cátedra personal en Victoria en 1995 y se jubiló en 2021. [1] [2]
Downey fue presidente de la Sociedad Matemática de Nueva Zelanda de 2001 a 2003. [1] [5]
Downey es coautor de seis libros:
También es autor o coautor de alrededor de 300 artículos de investigación, [1] [6] incluida una secuencia altamente citada de cuatro artículos con Michael Fellows y Karl Abrahamson que establecen las bases para el estudio de la complejidad parametrizada. [7]
En 1990, Downey ganó el Premio de Investigación Hamilton de la Royal Society 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 experto líder 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 Real Sociedad de Nueva Zelanda en 1996. [1] [10] En 2006, se convirtió en el primer matemático radicado en Nueva Zelanda en dar una conferencia invitada 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 en la Conferencia ACM sobre Complejidad Computacional. Fue elegido miembro de la ACM en 2007 "por sus contribuciones a la computabilidad y la teoría de la complejidad", convirtiéndose en el segundo miembro de la ACM en Nueva Zelanda, [11] [12] y en el mismo año fue elegido miembro de la Sociedad Matemática de Nueva Zelanda . [1] También en 2007 se le concedió una beca de investigación James Cook para la investigación sobre la naturaleza de la computación. [13]
En 2010 ganó el Premio Shoenfield (para artículos) de la Asociación de Lógica Simbólica por su trabajo con Denis Hirschfeldt, Andre Nies y Sebastiaan Terwijn sobre aleatoriedad . [14] En 2011, la Royal Society de Nueva Zelanda le otorgó su Medalla Héctor "por su trabajo sobresaliente e internacionalmente aclamado en teoría de recursión, complejidad computacional y otros aspectos de la lógica matemática y la combinatoria". [15] [16] En 2012, se convirtió en miembro de la American Mathematical Society . [17] En 2013, se convirtió en miembro de la Australian Mathematical Society .
En 2014, recibió el Premio Nerode de la Asociación Europea de Ciencias Informáticas Teóricas , junto con Hans Bodlaender , Michael Fellows, Danny Hermelin, Lance Fortnow y Rahul Santhanam por su trabajo sobre los límites inferiores de la kernelización . En octubre de 2016, Downey recibió un distinguido Premio de Investigación Humboldt por sus contribuciones académicas.
Junto con Denis Hirschfeldt, Downey ganó otro premio Shoenfield de la Asociación de Lógica Simbólica, esta vez el premio al libro de 2016 por Aleatoriedad y complejidad algorítmicas . En 2018, Downey pronunció la Conferencia Gödel de la Asociación de Lógica Simbólica, titulada Aleatoriedad algorítmica , en la Reunión Europea de Verano en Udine, Italia. El mismo año, Downey recibió la Medalla Rutherford , el máximo honor otorgado por la Royal Society de Nueva Zelanda, "por su investigación revolucionaria preeminente en computabilidad, incluido el desarrollo de la teoría de la complejidad parametrizada y el estudio algorítmico de la aleatoriedad". [18] En 2022, Downey recibió el Premio de Investigación de la Asociación de von Humboldt Fellows de Nueva Zelanda por la investigación realizada durante los cinco años anteriores. [19] En 2023, Downey recibió el Premio S. Barry Cooper de la Asociación de Computabilidad en Europa. [20] Este premio se otorga cada dos o tres años "a un investigador que ha contribuido a una amplia comprensión y estudio fundamental de la computabilidad mediante resultados sobresalientes, mediante la construcción de teorías seminales y duraderas, mediante un servicio excepcional a las comunidades de investigación involucradas o mediante una combinación de estos". [21]