Rod Downey

Rod Downey
Oberwolfach, 2012
Nascimento20 de setembro de 1957
CidadaniaNova Zelândia, Austrália
Alma mater
Ocupaçãomatemático, cientista da computação, lógico
Distinções
  • Medalha Hector (2011)
  • Prêmio Nerode (2014)
  • ACM Fellow (For contributions to computability and complexity theory, 2007, 2007)
  • Membro da Sociedade Real da Nova Zelândia (1996)
  • Membro da Sociedade Americana de Matemática (2012, 2013)
  • Fellow of the New Zealand Mathematical Society
  • James Cook Research Fellowship (2007)
  • Hamilton Award (1990)
  • Shoenfield Prize (Algorithmic randomness and complexity, Calibrating randomness, 2016, 2010)
  • Jones Medal (2026)
Empregador(a)Universidade Victoria de Wellington, Universidade Nacional da Austrália
Orientador(a)(es/s)John Crossley
Obras destacadasAlgorithmic randomness and complexity, Calibrating randomness

Rodney "Rod" Graham Downey (20 de setembro de 1957) é um matemático e cientista da computação neozelandês-australiano.

Downey estudou matemática na Universidade de Queensland, com o bacharelado em 1978, e na Universidade Monash (na época Chisholm Institute of Technology), onde obteve um doutorado em 1982, orientado por John Newsome Crossley, com a tese Abstract Dependence, Recursion Theory and the Lattice of Recursively Enumerable Filters, sendo em seguida lecturer. Em 1982 foi professor assistente visitante na Western Illinois University, de 1983 a 1985 foi lecturer na Universidade Nacional de Singapura e em 1985/1986 professor assistente visitante na Universidade de Illinois em Urbana-Champaign. A partir de 1986 foi lecturer na Universidade Victoria de Wellington, onde foi em 1991 reader e em 1995 obteve uma cátedra pessoal.

Recebeu a Medalha Hector de 2011 e o Prêmio Nerode de 2014. Em 2018 foi Gödel Lecturer.

Foi palestrante convidado do Congresso Internacional de Matemáticos em Madrid (2006: Algorithmic randomness and computability).

Obras

Referências

  1. ↑ Curriculum vitae, acessado em 15 de janeiro de 2021.
  2. ↑ Rod Downey (em inglês) no Mathematics Genealogy Project

Ligações externas