앨런 번디

Alan Bundy
가상의 인물은 Al Bundy를 참조하십시오.
앨런 번디

CBE FRS 프리즈 프링
Alan.Bundy.Image.jpg
태어난
앨런 리처드 번디

(1947-05-18) 1947년 5월 18일(75세)[1]
영국, 웨스트 런던, 섬워스
모교레스터 대학교 (BSC, 박사)
어워드
과학 경력
필드
기관에든버러 대학교
논문초등 방정식 미적분의 메타스토리 (1971)
박사 어드바이저루벤 굿스타인[3]
박사과정 학생
웹 사이트homepages.inf.ed.ac.uk/bundy

Alan Richard Bundy CBE FRS FRSE[4] FREng은 자동화된 추론, 특히 증명 계획, 메타 레벨 추론을 사용하여 증명 검색을 [2][6][7][8][9][10][11][12]안내하는 것으로 유명한 [5]Edinburgh 대학의 정보학 대학의 교수입니다.

교육

앨런 번디는 1968년 레스터 대학에서 수학 우등 학위를,[13] 1971년 레스터에서 수리 논리학 박사 학위를 취득하며 수학자로 교육받았습니다.

경력 및 연구

1971년부터 번디는 에든버러 대학에서 일했습니다.처음에는 1972년에 계산논리학과가 된 '메타매틱스' 유닛에서 일했고, 1974년에는 새로운 인공지능학과로 흡수되었고, 1998년에는 새로운 정보학대학으로 흡수되었습니다.1971년부터 1973년까지, 그는 교수에 대한 연구원이었다.B. Meltzer's Science and Engineering Research Council (SERC; 이공계 연구 평의회)에 의해 컴퓨터에 의한 정리 증명, 1973년 대학 강사로 임명, 1984년 독자로 승진, 1987년 교수 펠로우로 승진, 1990년 교수로 승진.1987년부터 1992년까지 SERC 시니어 펠로우쉽을 개최하였습니다.1998년부터 2001년까지 그는 에딘버러에서 새로 설립된 정보학부(이후 학교)의 수장으로 재직했습니다.

2000년부터 2005년까지 그는 영국에서 컴퓨터 연구를 옹호하는 역할을 하는 영국 컴퓨터 연구 위원회의 설립자 겸 소집자였습니다.2010년부터 2012년까지 영국 컴퓨터 협회의 부회장 겸 수탁자로 재직하며 컴퓨터 [14]아카데미의 특별한 책임을 맡았습니다.

영예와 상

번디는 1990년에 AAAI 펠로우(fellow of edinburgh), 1996년에 왕립학회 펠로우(FRSE), 1997년에 SSAISB의 창립 펠로우(fellow), 1999년에 유럽인공지능조정위원회(ECCAI)의 창립 펠로우(fellow) 및 2004년에 영국 컴퓨터 학회의 펠로우(fellow of British Computer Society)를 선출했다.2005년에 도입되었습니다.그는 2008년에 왕립공학아카데미의 펠로우로 선출되었다.그는 2014년에 "인공지능, 자동화된 추론, 표현의 [15]형성과 진화에 기여한 공로" ACM 펠로우로 선출되었다.

2007년 IJCAI 연구 우수상 및 자동화 공로 Herbrand Award 수상자입니다.

그는 [16]Hewlett Packard Labs Innovation Research Awards 2008 중 하나로 선정된 41명의 교수 중 한 명입니다.

Bundy는 컴퓨터 [17]과학에 대한 공로를 인정받아 2012년 신년 영예의 CBE로 임명되었습니다.그는 2012년에 [18]왕립학회(FRS) 회원으로 선출되었으며, 그의 선거 증명서에는 다음과 같이 적혀 있다.

Alan Bundy는 자동 추론과 지식 표현의 자동 형성 및 진화에 세계 최고 수준의 공헌을 했습니다.그는 효율성, 범위 및 행동을 개선한 새로운 기술을 개발했다.자동화된 추론에 대한 그의 연구는 하드웨어 및 소프트웨어 시스템 개발에 적용되어 자동화 수준을 높였습니다.컴퓨터 프로그램을 검증하는 데 필요한 기술 수준과 개발 시간을 단축하여 업계에서 사용되고 있습니다.표현 진화에 대한 그의 연구는 관련 [18]지식의 다른 표현을 가진 기관들 간의 의사소통을 용이하게 한다.

레퍼런스

  1. ^ Anon (2015). "Bundy, Prof. Alan Richard". Who's Who. ukwhoswho.com (online Oxford University Press ed.). A & C Black, an imprint of Bloomsbury Publishing plc. doi:10.1093/ww/9780199540884.013.U9391. (구독 또는 영국 공공도서관 회원권 필요) (설명 필요)
  2. ^ a b Google Scholar에 의해 색인화된 Alan Bundy 출판물
  3. ^ a b 수학 계보 프로젝트의 앨런 번디
  4. ^ a b "List of Fellows". raeng.org.uk. Royal Academy of Engineering. Archived from the original on 8 June 2016. Retrieved 14 October 2014.
  5. ^ http://homepages.inf.ed.ac.uk/bundy/ Alan Bundy 교수의 웹사이트
  6. ^ http://dream.inf.ed.ac.uk/ 수학추론그룹
  7. ^ DBLP 서지 서버의 Alan Bundy 씨
  8. ^ Scopus 서지 데이터베이스에 의해 색인화된 Alan Bundy 출판물.(설명 필요)
  9. ^ Bundy, Alan Richard (1988). "The use of explicit plans to guide inductive proofs" (PDF). 9th International Conference on Automated Deduction. Lecture Notes in Computer Science. Vol. 310. pp. 111–120. doi:10.1007/BFb0012826. hdl:1842/4561. ISBN 978-3-540-19343-2.
  10. ^ ACM 디지털 라이브러리의 Alan Bundy 작성자 프로파일페이지
  11. ^ Bundy, A.; Stevens, A.; Van Harmelen, F.; Ireland, A.; Smaill, A. (1993). "Rippling: A heuristic for guiding inductive proofs". Artificial Intelligence. 62 (2): 185. doi:10.1016/0004-3702(93)90079-Q. hdl:1842/4748.
  12. ^ Bundy, Alan (1986). Computer modelling of mathematical reasoning (PDF). OCLC 59289386.
  13. ^ Bundy, Alan Richard (1971). The Metatheory of the Elementary Equation Calculus (PhD thesis). University of Leicester. hdl:2381/34566. OCLC 1063438754. EThOS uk.bl.ethos.674029. icon of an open green padlock
  14. ^ "Alan Bundy". research.ed.ac.uk. Retrieved 7 September 2021.
  15. ^ ACM Fellows 2014
  16. ^ "HP Press Release: HP Selects 41 Professors for Innovation Research Awards".
  17. ^ "No. 60009". The London Gazette (Supplement). 31 December 2011. p. 7.
  18. ^ a b "Professor Alan Bundy CBE FREng FRS". London: Royal Society. Archived from the original on 5 November 2015.