앨런 마이크로프트

Alan Mycroft
앨런 마이크로프트
모교
로 알려져 있다.
아이들.4
과학 경력
필드
기관
논문응용 프로그램의 추상적 해석 및 변환 최적화 (1982)
박사학위 자문위원
웹사이트www.cl.cam.ac.uk/~am21/

앨런 마이크로프트는 케임브리지 대학의 컴퓨터 연구소의 교수로, 케임브리지의 로빈슨 칼리지의 펠로우로, 컴퓨터 과학을 위한 학부장이기도 하다.

교육

마이크로프트는 캠브리지에서 수학을 읽고 나서 에든버러로 옮겨갔는데, 거기서 그는 추상적 해석과 로빈 밀너가 감독하는 응용 프로그램의[2] 변형 최적화에 관한 논문으로 철학 박사 학위를 마쳤다.

리서치

마이크로프트의 연구 관심사는[3][4][5][6][1] 프로그래밍 언어, 소프트웨어 엔지니어링 및 알고리즘이다.[7][8][9][10]

아서 노먼과 함께 노르크로프트 C 컴파일러를 공동 제작했다.[11]그는 또한 학교에서의 기본적인 컴퓨터 과학의 가르침을 자극하기 위한 단판 컴퓨터를 가진 자선 단체인 라즈베리 파이 재단의 지명된 수탁자이기도 하다.[12]

사생활

마이크로프트는 4명의 자녀를 두고 있다.[citation needed]

참조

  1. ^ a b 구글 스콜라(Google Scholar)가 색인화한 앨런 마이크로프트 출판물
  2. ^ a b Mycroft, Alan (1982). Abstract interpretation and optimising transformations for applicative programs (PhD thesis). University of Edinburgh. OCLC 10271733.
  3. ^ Microsoft Academic에 의해 색인화된 Alan Microft 출판물
  4. ^ DBLP 서지학 서버의 앨런 마이크로프트
  5. ^ ACM 디지털 라이브러리의 Alan Microft 작성자 프로파일 페이지
  6. ^ 앨런 마이크로프트의 출판물은 스코푸스 도서목록 데이터베이스에 의해 색인화되었다.(필요한 경우)
  7. ^ Mycroft, A.; O'Keefe, R. A. (1984). "A polymorphic type system for prolog". Artificial Intelligence. 23 (3): 295. doi:10.1016/0004-3702(84)90017-1.
  8. ^ Mycroft, A. (1984). "Polymorphic type schemes and recursive definitions". International Symposium on Programming. Lecture Notes in Computer Science. Vol. 167. pp. 217–228. doi:10.1007/3-540-12925-1_41. ISBN 978-3-540-12925-7.
  9. ^ Mycroft, A. (1980). "The theory and practice of transforming call-by-need into call-by-value". International Symposium on Programming. Lecture Notes in Computer Science. Vol. 83. pp. 269–281. doi:10.1007/3-540-09981-6_19. ISBN 978-3-540-09981-9.
  10. ^ Nethercote, N.; Mycroft, A. (2003). "Redux". Electronic Notes in Theoretical Computer Science. 89 (2): 149. doi:10.1016/S1571-0661(04)81047-8.
  11. ^ Mycroft, Alan; Norman, Arthur C. (1992). "Part I: classical imperative languages". Optimising compilation. Cambridge, UK: University of Cambridge, Computer Laboratory. CiteSeerX 10.1.1.43.9953. OCLC 29982690. […] the 'Norcroft' compiler suite jointly constructed by the authors […] Commercial interests are referred to Codemist Ltd. […]
  12. ^ Bush, Steve (26 May 2011). "In depth: Raspberry Pi, the computer on a stick". Electronics Weekly. Retrieved 11 July 2011. The Raspberry Pi developers and trustees of its Foundation are: David Braben – Founder of games software firm Frontier Developments and co-author of 'Elite'. Jack Lang – Business angel, early Acorn employee, founder of Cambridge start-ups. Pete Lomas – Founder and MD of Norcott Technologies. Robert Mullins – University of Cambridge Computer Laboratory and St. John's College, Cambridge. Alan Mycroft – Professor of Computing in University of Cambridge Computer Laboratory Eben Upton – Engineer at Broadcom Europe, founder of software start-ups, and former director of computer science at St. John's College, Cambridge.


Stub icon

영국의 한 학자의 전기 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.

Stub icon

영국 과학자에 관한 이 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.

P ≟ NP

컴퓨터 과학자와 관련된 이 전기 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.