Rod Downey

Rod Downey
Born (1957-09-20) 20 September 1957 (age 67)
NationalityNew Zealander, Australian
Occupation(s)Professor of Mathematics, Victoria University of Wellington
Known forComputability theory, incl. parameterised complexity
AwardsRSNZ Hector Medal, Rutherford Medal, James Cook Research Fellowship
Academic background
Alma materMonash (PhD 1982)
Queensland (BSc 1978)
Doctoral advisorJohn Crossley
WebsiteHere

Rodney Graham Downey (born 20 September 1957)[1] is a New Zealand and Australian mathematician and computer scientist,[2] an emeritus professor in the School of Mathematics and Statistics at Victoria University of Wellington in New Zealand.[3] He is known for his work in mathematical logic and computational complexity theory, and in particular for founding the field of parameterised complexity together with Michael Fellows.

Biography

Downey earned a bachelor's degree at the University of Queensland in 1978, and then went on to graduate school at Monash University, earning a doctorate in 1982 under the supervision of John Crossley.[1][3][4] After holding teaching and visiting positions at the Chisholm Institute of Technology, Western Illinois University, the National University of Singapore, and the University of Illinois at Urbana-Champaign, he came to New Zealand in 1986 as a lecturer at Victoria University. He was promoted to reader in 1991, was given a personal chair at Victoria in 1995, and retired in 2021.[1][2]

Downey was president of the New Zealand Mathematical Society from 2001 to 2003.[1][5]

Publications

Downey is the co-author of six books:

  • Parameterized Complexity (with Michael Fellows, Springer, 1999)
  • Algorithmic Randomness and Complexity (with D. Hirschfeldt, Springer, 2010)
  • Fundamentals of Parameterized Complexity (with Michael Fellows, Springer, 2013)
  • Minimal Weak Truth Table Degrees and Computably Enumerable Turing Degrees (with Keng Meng Ng and David Reed Solomon, Memoirs American Mathematical Society, Vol. 2184, 2020)
  • A Hierarchy of Turing Degrees (with Noam Greenberg, Annals of Mathematics Studies No. 206, Princeton University Press, 2020)
  • Computability and Complexity: Foundations and Tools for Pursuing Scientific Applications, (Springer-Verlag Texts in Computer Science, 2024)

He is also the author or co-author of around 300 research papers,[1][6] including a highly cited sequence of four papers with Michael Fellows and Karl Abrahamson setting the foundation for the study of parameterised complexity.[7]

Awards and honours

In 1990, Downey won the Hamilton Research Award from the Royal Society of New Zealand.[8] In 1992, Downey won the Research Award of the New Zealand Mathematical Society "for penetrating and prolific investigations that have made him a leading expert in many aspects of recursion theory, effective algebra and complexity".[9]

In 1994, he won the New Zealand Association of Scientists Research Award, and became a fellow of the Royal Society of New Zealand in 1996.[1][10] In 2006, he became the first New Zealand-based mathematician to give an Invited Lecture at the International Congress of Mathematicians.

He has also given invited lectures at the International Congress of Logic, Methodology and Philosophy of Science and the ACM Conference on Computational Complexity. He was elected as an ACM Fellow in 2007 "for contributions to computability and complexity theory", becoming the second ACM Fellow in New Zealand,[11][12] and in the same year was elected as a fellow of the New Zealand Mathematical Society.[1] Also in 2007 he was awarded a James Cook Research Fellowship for research on the nature of computation.[13]

In 2010 he won the Shoenfield Prize (for articles) of the Association for Symbolic Logic for his work with Denis Hirschfeldt, Andre Nies, and Sebastiaan Terwijn on randomness.[14] In 2011, the Royal Society of New Zealand gave him their Hector Medal "for his outstanding, internationally acclaimed work in recursion theory, computational complexity, and other aspects of mathematical logic and combinatorics."[15][16] In 2012, he became a fellow of the American Mathematical Society.[17] In 2013, he became a Fellow of the Australian Mathematical Society.

In 2014, he was awarded the Nerode Prize from the European Association for Theoretical Computer Science, jointly with Hans Bodlaender, Michael Fellows, Danny Hermelin, Lance Fortnow and Rahul Santhanam for their work on kernelization lower bounds. In October 2016, Downey received a distinguished Humboldt Research Award for his academic contributions.

With Denis Hirschfeldt, Downey won another Shoenfield Prize from the Association for Symbolic Logic, this time the 2016 book prize for Algorithmic Randomness and Complexity. In 2018, Downey delivered the Gödel Lecture of the Association for Symbolic Logic, titled Algorithmic randomness, at the European Summer Meeting at Udine, Italy. The same year, Downey was awarded the Rutherford Medal, the highest honour awarded by the Royal Society of New Zealand, "for his pre-eminent revolutionary research into computability, including development of the theory of parameterised complexity and the algorithmic study of randomness."[18] In 2022, Downey was awarded the New Zealand Association of von Humboldt Fellows Research Award for research over the preceding five years.[19] In 2023, Downey was awarded the S. Barry Cooper Prize from the Association for Computability in Europe.[20] This award is awarded every two to three years "to a researcher who has contributed to a broad understanding and foundational study of computability by outstanding results, by seminal and lasting theory building, by exceptional service to the research communities involved, or by a combination of these."[21]

References

  1. ^ a b c d e f g Curriculum vitae, retrieved 19 February 2012.
  2. ^ a b Whittle, Geoff (August 2004), "Centrefold: Rod Downey" (PDF), Newsletter of the New Zealand Mathematical Society, 91.
  3. ^ a b Faculty profile, Victoria University of Wellington, retrieved 19 February 2012.
  4. ^ Rodney Graham Downey at the Mathematics Genealogy Project
  5. ^ Downey, Rod (April 2003), "President's report 2001–2002" (PDF), Newsletter of the New Zealand Mathematical Society, 87: 4–6.
  6. ^ Listing of Downey's computer science publications in DBLP.
  7. ^ Downey, Rod G.; Fellows, Michael R. (1995), "Fixed-parameter tractability and completeness. I. Basic results", SIAM Journal on Computing, 24 (4): 873–921, CiteSeerX 10.1.1.408.3389, doi:10.1137/S0097539792228228, MR 1342997. Downey, Rod G.; Fellows, Michael R. (1995), "Fixed-parameter tractability and completeness. II. On completeness for W[1]", Theoretical Computer Science, 141 (1–2): 109–131, CiteSeerX 10.1.1.158.6771, doi:10.1016/0304-3975(94)00097-3, MR 1323150. Downey, Rod; Fellows, Michael (1993), "Fixed-parameter tractability and completeness. III. Some structural aspects of the W hierarchy", Complexity theory, Cambridge: Cambridge Univ. Press, pp. 191–225, MR 1255345. Abrahamson, Karl A.; Downey, Rodney G.; Fellows, Michael R. (1995), "Fixed-parameter tractability and completeness. IV. On completeness for W[P] and PSPACE analogues", Annals of Pure and Applied Logic, 73 (3): 235–276, doi:10.1016/0168-0072(94)00034-Z, MR 1336643.
  8. ^ "Recipients".
  9. ^ Awards
  10. ^ List of Current Fellows of the Royal Society of New Zealand, retrieved 19 February 2012.
  11. ^ ACM Fellow award citation, retrieved 19 February 2012.
  12. ^ Professor Downey Becomes ACM Fellow, Victoria University of Wellington, 6 December 2007, retrieved 19 February 2012.
  13. ^ "Search James Cook Fellowship awards 1996–2017". Royal Society Te Apārangi. Retrieved 28 October 2023.
  14. ^ Shoenfield Prize Recipients, Association for Symbolic Logic, retrieved 19 February 2012.
  15. ^ Hector Medal to Rod Downey, New Zealand Mathematical Society, 16 November 2011, retrieved 19 February 2012.
  16. ^ Medals awarded to top New Zealand researchers, RSNZ, 17 November 2011, retrieved 19 February 2012.
  17. ^ List of Fellows of the American Mathematical Society, retrieved 10 November 2012.
  18. ^ 2018 Rutherford Medal: Solving ‘Can’t compute’ and is that random sequence really random?
  19. ^ "NZ Humboldt Association Research Award to Professor Rod Downey | New Zealand Association of von Humboldt Fellows".
  20. ^ "2023 S. Barry Cooper Prize awarded to Rod G. Downey". 16 March 2023.
  21. ^ "S. Barry Cooper Prize". 18 July 2019.
  • Home page at Victoria University of Wellington

Read other articles:

Amsal 3Kitab Amsal lengkap pada Kodeks Leningrad, dibuat tahun 1008.KitabKitab AmsalKategoriKetuvimBagian Alkitab KristenPerjanjian LamaUrutan dalamKitab Kristen20← pasal 2 pasal 4 → Amsal 3 (disingkat Ams 3) adalah pasal ketiga Kitab Amsal dalam Alkitab Ibrani dan Perjanjian Lama di Alkitab Kristen.[1][2] Teks Naskah sumber utama: Masoretik, Septuaginta dan Naskah Laut Mati. Pasal ini dibagi atas 35 ayat. Berisi nasihat-nasihat yang diucapkan oleh raja Salomo bin ...

 

Bagian depan Balai Sidang dari New College Sidang Umum Gereja Skotlandia adalah dewan tertinggi dan berdaulat dari Gereja Skotlandia, dan merupakan badan pemerintahan Gereja.[1] Dewan tersebut umumnya bertemu sepanjang tahun dan diketuai oleh seorang Moderator yang dipilih pada awal Sidang. Dewan gereja Sebagai sebuah gereja Presbiterian, Gereja Skotlandia diperintah oleh dewan-dewan tetua ketimbang oleh para uskup. Dasar hierarki dewan-dewan tersebut adalah Sesi Kirk, dewan paroki; p...

 

Bodhisattva Avalokiteśvara, yang tampil pertama kali dalam Sūtra Teratai Bagian dari serial Agama Buddha Mahāyāna Negara India • Tiongkok • JepangKorea • VietnamRepublik Tiongkok • MongoliaTibet • Bhutan • Nepal Ajaran Bodhisattva • UpāyaSamādhi • PrajñāŚunyatā • Trikāya Sūtra Mahāyāna Sutra PrajñāpāramitāSutra TerataiSūtra NirvāṇaSūtra SaṃdhinirmocanaSūtra Ava...

Raul KhajimbaРауль Ҳаџьымба რაულ ხაჯიმბა Presiden Abkhazia ke-4Masa jabatan25 September 2014 – 12 Januari 2020Perdana MenteriBeslan ButbaArtur MikvabiaBeslan BartsitsShamil Adzynba (Pelaksana tugas)Gennadi GaguliaDaur Arshba (Pelaksana tugas)Valeri BganbaWakil PresidenVitali Gabnia Aslan BartsitsPendahuluAlexander AnkvabPenggantiValeri Bganba (Pelaksana tugas)Anggota Parlemenuntuk dapil no. 30 (Tkvarcheli)Masa jabatan3 April 2012 – 7 Ok...

 

This article relies excessively on references to primary sources. Please improve this article by adding secondary or tertiary sources. Find sources: Yes I Smoke Crack – news · newspapers · books · scholar · JSTOR (March 2012) (Learn how and when to remove this message) 2008 EP by SalemYes I Smoke CrackEP by SalemReleasedJuly 2008GenreWitch houseLabelAcéphaleProducer John Holland Jack Donoghue Heather Marlatt Salem chronology Yes I Smoke Crack(...

 

The Lockheed Constellation was used by dozens of airlines and militaries around the world. In military service, the Navy/Air Force EC-121 Warning Star variant remained operational until 1978, nearly 40 years after work on the L-049 began. ♠ Original operators Commercial Lockheed built 856 planes. Civilian airlines that operated the Constellation included:  Argentina L-749A of Aerolineas Carreras (Argentina) in 1975 Aerolíneas Carreras Aerotransportes Entre Ríos - AER Trans Atlántic...

John Hervey, II barone HerveyJohn Hervey in un ritratto del 1737Barone HerveyIn carica1733 –1743 PredecessoreJohn Hervey, I conte di Bristol EredeGeorge Hervey, II conte di Bristol NascitaLondra, 13 ottobre 1696 MorteLondra, 5 agosto 1743 (46 anni) PadreJohn Hervey, I conte di Bristol MadreElizabeth Felton ConsorteMary Lepell FigliGeorgeLepell Augustus JohnMaryFrederickWilliam AmeliaCaroline John Hervey, II barone Hervey Lord del sigillo privatoDurata mandato7 aprile 17...

 

Questa voce o sezione sull'argomento parlamenti non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Coordinate: 51°29′57.5″N 0°07′29.1″W / 51.499306°N 0.12475°W51.499306; -0.12475Parlamento del Regno Unito Stato Regno Unito TipoBicamerale imperfetto Camere Camera dei comuni Camera dei lord Istituito1º gennaio 1801 Prede...

 

2001 film by Rajkumar Santoshi LajjaFilm posterDirected byRajkumar SantoshiWritten byRanjit KapoorRajkumar Santoshi (Dialogues)Screenplay byAshok RawatRajkumar SantoshiStory byRajkumar SantoshiRam (uncredited)Produced byRajkumar SantoshiStarringManisha KoiralaRekhaMadhuri DixitMahima ChaudhryAnil KapoorAjay DevgnJackie ShroffNarrated byBharat ShahCinematographyMadhu AmbatEdited byV. N. MayekarMusic bySongs:Anu MalikIlaiyaraajaBackground Score:IlaiyaraajaProductioncompanySantoshi ProductionsDi...

 CC8 Stasiun MRT Dakota达科达地铁站டகோட்டாAngkutan cepatPeron Stasiun MRT DakotaLokasi201 Old Airport Road Singapore 397973Koordinat1°18′30″N 103°53′18″E / 1.308289°N 103.888253°E / 1.308289; 103.888253Jalur  Jalur Lingkar Jumlah peronPulauJumlah jalur2LayananBus, TaksiKonstruksiJenis strukturBawah tanahTinggi peron2Akses difabelYesInformasi lainKode stasiunCC8SejarahDibuka17 April 2010Operasi layanan Stasiun sebelumn...

 

Australian politician (born 1956) For the American actress, see Julie Bishop (actress). The HonourableJulie BishopOfficial portrait, 2016United Nations Special Envoyon MyanmarIncumbentAssumed office 6 April 2024Preceded byNoeleen HeyzerChancellor of Australian National UniversityIncumbentAssumed office 1 January 2020Preceded byGareth EvansMinister for Foreign AffairsIn office18 September 2013 – 28 August 2018Prime MinisterTony AbbottMalcolm TurnbullScott MorrisonPreceded by...

 

Società per azioni Esercizi Aeroportuali S.E.A.Logo Stato Italia Forma societariaSocietà per azioni Fondazione22 maggio 1948 Sede principaleAeroporto di Milano Linate Persone chiave Armando Brunini, Amministratore Delegato Michaela Castelli, Presidente SettoreTrasporto ProdottiGestione aeroportuale Fatturato725,9 milioni di € (2017) Utile netto84 milioni di € (2017) Dipendenti2.837 (SEA S.p.A.) (2016) Sito webwww.seamilano.eu/ Modifica dati su Wikidata · Manuale Il Gruppo SEA...

Asuka CambridgeCambridge di Olimpiade 2016Informasi pribadiLahir31 Mei 1993 (umur 31)Spanish Town, JamaikaTinggi179 m (587 ft 3 in)Berat74 kg (163 pon) OlahragaNegara JepangOlahragaAtletikLomba100 m, 200 mPrestasi dan gelarPeringkat pribadi terbaik100 m – 10.03 (2020)200 m – 20.62 (2013)[1]400 m – 52.19 (2009) Rekam medali Permainan Olimpiade 2016 Rio de Janeiro 4×100 m relay Kejuaraan Dunia 2017 London 4×100 m relay Pesta Olahraga Asia 2018 ...

 

2020 South Dakota Democratic presidential primary ← 2016 June 2, 2020 2024 → ← RIGU →21 delegates (16 pledged, 5 unpledged)to the Democratic National ConventionThe number of pledged delegates won is determined by the popular vote   Candidate Joe Biden Bernie Sanders(withdrawn) Home state Delaware Vermont Delegate count 13 3 Popular vote 40,800 11,861 Percentage 77.5% 22.5% Election results by county   Joe Biden Electio...

 

Highest staff organization in the Serbian Armed Forces General Staff of the Serbian Armed ForcesГенералштаб Војске СрбијеEmblem of the Serbian General StaffActive1876–present(current form since 2006)Country SerbiaTypeStaffSize4,300[a]Part of Serbian Armed ForcesGarrison/HQDedinje (Belgrade)WebsiteOfficial websiteCommandersChief of the General StaffGeneral Milan MojsilovićDeputy Chief of the General StaffLt. Col. General Želimir GlišovićNotablecom...

David Parnas David Lorge Parnas (lahir 10 Februari 1941) adalah seorang pionir di bidang rekayasa perangkat lunak yang mengembangkan konsep perancangan modular yang kini menjadi dasar pemrograman berorientasi objek. Karier David meraih gelar Ph.D. di Carnegie Mellon University, dalam bidang kelistrikan dan kemudian bekerja di sana sebagai profesor. Dia juga mengajar di University of North Carolina at Chapel Hill (Amerika Serikat), Technische Hochschule Darmstadt (Jerman), dan di University of...

 

Indian high jumper In this Indian name, the name Aloysius is a patronymic, and the person should be referred to by the given name, Bobby. Bobby AloysiusThe President, Shri Ram Nath Kovind presenting the Dhyan Chand Award, 2018 to Bobby AloysiusPersonal informationNationalityIndianBorn (1974-06-22) June 22, 1974 (age 50)Chemperi, Kannur, Kerala, IndiaSportCountry IndiaSportAthletics Medal record Women's athletics Representing  India Asian Championships 2000 Jakarta High jump 200...

 

The following highways are numbered 344: This list is incomplete; you can help by adding missing items. (August 2008) Australia - Heathcote-Nagambie Road Canada Manitoba Provincial Road 344 Newfoundland and Labrador Route 344 Nova Scotia Route 344 Quebec Route 344 Route 344 (Prince Edward Island) India National Highway 344 (India) Japan Japan National Route 344 Nigeria A344 highway (Nigeria) United States County Road 344 (Gilchrist County, Florida) Arkansas Highway 344 Arkansas Highway ...

Questa voce o sezione sull'argomento militari austriaci non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Carlo Tommaso di Lorena-Vaudemont (7 marzo 1670 – Ostiglia, 12 maggio 1704) principe di Vaudemont. Battaglia di Luzzara Indice 1 Biografia 2 Ascendenza 3 Onorificenze 4 Altri progetti Biografia Carlo Tommaso fu l'unico figlio del principe Carlo Enric...

 

Settlement in West Pomeranian Voivodeship, PolandŚremskoSettlementŚremskoCoordinates: 53°11′10″N 14°33′48″E / 53.18611°N 14.56333°E / 53.18611; 14.56333Country PolandVoivodeshipWest PomeranianCountyGryfinoGminaGryfino Śremsko [ˈɕrɛmskɔ] is a settlement in the administrative district of Gmina Gryfino, within Gryfino County, West Pomeranian Voivodeship, in north-western Poland, close to the German border.[1] For the history of the region, ...