로드 다우니

Rod Downey
교수님

로드 다우니

FRSNZ, FNZMS, FACM
Rod Downey.jpg
태어난 1957-09-20 1957년 9월 20일(64세)
국적.뉴질랜드인, 호주인
직종.웰링턴 빅토리아 대학교 수학 교수
로 알려져 있다파라미터화된 복잡성을 포함한 계산 가능성 이론
어워드RSNZ 헥터 메달과 러더퍼드 메달
학력
모교모나시(1982년 PhD)
퀸즐랜드 (BSC 1978)
박사 어드바이저존 크로슬리
웹 사이트여기서

로드니 그레이엄 다우니(Rodney Graham Downey, 1957년 [1]9월 20일 ~ )는 뉴질랜드,[3] 호주의 수학자, 컴퓨터 [2]과학자이다.그는 수학논리와 계산복잡도이론에 대한 연구로 잘 알려져 있으며, 특히 마이클 펠로우스와 함께 매개변수화된 복잡도 분야를 설립한 것으로 알려져 있다.

전기

다우니는 1978년 퀸즐랜드 대학에서 학사 학위를 취득한 후 모나시 대학에서 대학원에 진학하여 1982년 존 크로슬리의 [1][3][4]지도 아래 박사 학위를 취득했습니다.치솔름공대, 웨스턴일리노이대, 싱가포르국립대, 어바나샴페인 일리노이대 등을 거쳐 1986년 빅토리아대 강사로 뉴질랜드에 왔다.그는 1991년에 독자로 승진했고 [1][2]1995년에는 빅토리아 대학에서 개인 강좌를 맡았습니다.

다우니는 2001년부터 [1][5]2003년까지 뉴질랜드 수학 협회 회장을 역임했다.

출판물

다우니는 다섯 권의 책을 공동 집필했습니다.

  • 파라미터화된복잡도(Michael Fellows, Springer, 1999년)
  • 알고리즘의 랜덤성과 복잡성(D 포함).Hirschfelt, Springer, 2010)
  • 파라미터화된 복잡성의 기초 (Michael Fellows, Springer, 2013)
  • 최소의 약한 진실 표 학위 및 계산적으로 열거할 수 있는 튜링 학위(Keng Meng Ng 및 David Reed Solomon, 회고록, 미국 수학회, Vol. 2184, 2020)
  • 튜링 학위의 계층(Noam Greenberg, 수학 연구 연보 No. 206, Princeton University Press, 2020)

그는 또한 200개가 넘는 [1][6]연구 논문의 저자 또는 공동 저자로, 여기에는 마이클 펠로우스와 칼 아브라함슨이 파라미터화된 [7]복잡성 연구의 토대를 마련한 4개의 논문의 높은 인용 시퀀스가 포함되어 있습니다.

상과 명예

1990년 다우니는 뉴질랜드 [8]왕립학회로부터 해밀턴 연구상을 수상했다.1992년 다우니는 "재귀 이론, 효과적인 대수학 및 [9]복잡성의 많은 측면에서 그를 선도적인 전문가로 만든 통찰력 있고 다작적인 조사"로 뉴질랜드 수학 협회의 연구 상을 수상했다.

1994년 그는 뉴질랜드 과학자 협회 연구상을 수상했고 [1][10]1996년 뉴질랜드 왕립학회 회원이 되었다.2006년, 그는 국제 수학자 회의에서 초청 강연을 한 최초의 뉴질랜드 출신 수학자가 되었다.

또, 국제 논리학·방법론·과학철학회의와 ACM 계산 복잡도 회의에서 초청 강연도 실시했습니다.그는 2007년에 "계산성과 복잡성 이론에 대한 공헌"으로 ACM 펠로우로 선출되어 뉴질랜드에서 [11][12]두 번째 ACM 펠로우로 선정되었으며, 같은 해에 뉴질랜드 수학 [1]협회의 펠로우로 선출되었습니다.

2010년에 그는 무작위성에 [13]대한 데니스 히르슈펠트, 안드레 니스, 세바스티안 테르비인과 함께 연구한 공로로 기호논리학 협회의 쇼엔필드상(기사 부문)을 수상했다.2011년 뉴질랜드 왕립학회는 그에게 "재귀 이론, 계산 복잡성, 그리고 수학 논리와 [14][15]조합론의 다른 측면에서 탁월하고 국제적으로 호평을 받은 그의 업적"으로 헥터 메달을 수여했다.2012년에 그는 미국 수학 [16]협회의 회원이 되었다.2013년, 그는 호주 수학 학회 펠로우(Fellow of Australian Mathematical Society)가 되었다.

2014년에는 커널화 하한에 대한 연구로 한스 보들렌더, 마이클 펠로우, 대니 허멜린, 랜스 포트나우 및 라훌 산탄남과 공동으로 유럽 이론 컴퓨터 과학 협회로부터 Nerode 상을 수상했습니다.2016년 10월, 다우니는 그의 학문적 공헌으로 Humboldt Research Award를 수상했습니다.

Denis Hirschfeldt와 함께, 다우니는 이번에 알고리즘 랜덤성과 복잡성에 대한 2016년 도서상인 Association for Symbolic Logic에서 또 다른 Shoenfield 상을 수상했다.다우니는 2018년 이탈리아 우디네에서 열린 유럽 여름 회의에서 기호논리협회 괴델 강의를 했습니다.2018년 다우니는 "변수화된 복잡성의 이론과 무작위성의 [17]알고리즘 연구를 포함한 계산 능력에 대한 탁월한 혁명적 연구"로 뉴질랜드 왕립 학회에서 수여하는 최고의 영예인 러더포드 메달을 수상했습니다.같은 해, 그는 '알고리즘 랜덤성'이라는 제목의 괴델 강의를 열었다.

레퍼런스

  1. ^ a b c d e f g 이력서, 2012년 2월 19일 취득.
  2. ^ a b 를 클릭합니다Whittle, Geoff (August 2004), "Centrefold: Rod Downey" (PDF), Newsletter of the New Zealand Mathematical Society, 91.
  3. ^ a b Victoria University of Wellington의 교수 프로필은 2012년 2월 19일에 취득되었습니다.
  4. ^ 수학 계보 프로젝트의 로드니 그레이엄 다우니
  5. ^ 를 클릭합니다Downey, Rod (April 2003), "President's report 2001–2002" (PDF), Newsletter of the New Zealand Mathematical Society, 87: 4–6.
  6. ^ 다우니의 DBLP 컴퓨터 사이언스 출판물 목록.
  7. ^ 다우니 주니어는, 로드 G.;멤버들, 마이클 R.(1995년),"Fixed-parameter 취급하기 쉬움과 완벽성.나 Basic의 경우 results", SIAM 저널 컴퓨팅에, 24(4):873–921, CiteSeerX 10.1.1.408.3389, doi:10.1137/S0097539792228228, MR1342997.다우니 주니어는, 로드 G.;멤버들, 마이클 R.(1995년),"Fixed-parameter 취급하기 쉬움과 완벽성.II. 완전성에 W[1]", 이론 컴퓨터 과학을 141(1–2):109–131, doi:10.1016(94)00097-3, MR1323150.다우니 주니어는, 로드, 멤버들, 마이클(1993년),"Fixed-parameter 취급하기 쉬움과 완벽성.III.Whierarchy", 복잡성 이론, 캠브리지의 어떤 구조적 측면:.캠브리지 대학교출판부를 대신하여 서명함. 191–225, MR1255345.Abrahamson, 카를 A;다우니 주니어는, 로드니 G.;Fellows, 마이클 R.(1995년),"Fixed-parameter 취급하기 쉬움과 완벽성.W[P]과 PSPACE analogues"에 완성도에 4세., 순수·응용 논리, 73실록(3):235–276, doi:10.1016(94)00034-Z, MR1336643.
  8. ^ "Recipients".
  9. ^ 어워드
  10. ^ 2012년 2월 19일 현재 뉴질랜드 왕립학회 펠로우 목록.
  11. ^ 2012년 2월 19일 취득된 ACM 펠로우상 표창장.
  12. ^ 2007년 12월 6일, Wellington의 Victoria University의 다우니 교수는 2012년 2월 19일을 회수했다.
  13. ^ Shoenfield Prize Recipients for Symbolic Logic은 2012년 2월 19일 취득했다.
  14. ^ 2011년 11월 16일 뉴질랜드 수학협회 로드 다우니에게 수여된 헥터 메달은 2012년 2월 19일을 회수했다.
  15. ^ 2011년 11월 17일, 뉴질랜드의 최고 연구원 RSNZ에게 수여된 메달은 2012년 2월 19일에 회수되었다.
  16. ^ 2012년 11월 10일 취득된 미국 수학회 펠로우 목록.
  17. ^ 2018 러더포드 메달:'계산할 수 없음'을 해결하려면 랜덤 시퀀스가 정말 랜덤입니까?

외부 링크