켄 로빈슨 (컴퓨터 과학자)

Ken Robinson (computer scientist)
케네스 아서 로빈슨
Ken Robinson (computer scientist).jpg
켄 로빈슨
태어난(1938-07-30)1938년 7월 30일
호주.
죽은2020년 9월 5일(2020-09-05) (82)
오스트레일리아 시드니
국적오스트레일리아인
모교시드니 대학교 (호주)
로 알려져 있다.소프트웨어 엔지니어링, 공식 방법, B-Method
수상뉴사우스웨일스 대학교 부총장 우수 교수상(1990)
과학 경력
필드컴퓨터 공학
기관뉴사우스웨일스 대학교 (호주)
영향장 레이먼드 애브리얼
영향받은마이클 버틀러, 캐롤 모건, 스티브 슈나이더

케네스("Ken") 아서 로빈슨(Arthur Robinson, 1938년 7월 30일 ~ 2020년 9월 5일)은 호주의 컴퓨터 과학자였다.[1][2]그는 "호주에서의 공식적인 방법의 아버지"[3]로 불렸다.

켄 로빈슨은 1938년에 태어났다.그는 1959년에 전기공학에서 BE학위를 받았고 1961년에는 시드니 대학교에서 물리학과 수학에서 BSC학위를 받았다.

로빈슨은 1965년부터 2012년까지 뉴사우스웨일스 대학교(UNSW)에서 일했으며, 처음에는 머레이 앨런 교수 휘하의 전자계산학부에서 일했다.[1]1987-1989년에 그는 컴퓨터 공학부장이었고 1996-2000년에 소프트웨어 공학부장이었다.He held visiting positions in the United Kingdom at the University of Southampton (1978–79), the Programming Research Group at Oxford University as a Visiting Fellow at Wolfson College (1985–86), the Oxford University Computing Laboratory and B-Core (1999), and Royal Holloway College (University of London) and the University of Surrey (2003).[2]

1971년 로빈슨의 컴퓨터 과학 강좌에는 ALGOL W(스탠퍼드대 출신), WATFOR(워털루대 출신 FORTRAN 학생 버전), Plago(학생용 PL/I, 브루클린 출신), EXPORTOL(벨랩스 출신), IBM System/360 조립어가 포함되었다.[3]후자는 IBM 조립자가 학생에게 사용하기에는 너무 느렸기 때문에 로빈슨이 작성한 조립자 프로그램을 사용했다.

1974년, UNSW의 컴퓨터 과학부에는 디지털 장비 회사의 PDP-11/40 미니콤퍼터가 있었는데, 이것은 교육 및 관리에 사용되었다.Ken Robinson은 Bell Labs의 Dennis Ritchie에게 Unix 운영체제의 복사본을 요청하는 편지를 썼다.이것이 1975년에 도착하여 UNSW는 유닉스를 정기적으로 운영한 미국 밖의 첫 번째 대학이 되었다.[1]

로빈슨의 후기 연구와 가르침은 특히 형식적인 방법, 특히 B-메소드, Event-B, 로댕 도구를 중심으로 이루어졌다.[3]

로빈슨은 UNSW에서 프로그램 코디네이터와 함께 최초 BE 소프트웨어 엔지니어링 프로그램을 설계했다.그는 또한 BE 컴퓨터 엔지니어링 프로그램을 시작했다.1990년에 그는 NSW 대학교 부총장상을 받았다.[1]

켄 로빈슨은 2020년 9월 5일에 세상을 떠났다.그는 가정을 꾸리고 결혼했다.

선택한 게시물

  • Morgan, C. C.; Robinson, K. A. (September 1987). "Specification statements and refinement". IBM Journal of Research and Development. 31 (5): 546–555. doi:10.1147/rd.315.0546.
  • Carrington, D. A.; Robinson, K. A. (January 1991). "Refinement of two graph problems". In Morris, Joseph M.; Shaw, Roger C. (eds.). 4th Refinement Workshop. Workshops in Computing. Springer-Verlag. pp. 241–257.
  • Bert, Didier; Bowen, Jonathan P.; Henson, Martin C.; Robinson, Ken, eds. (2002). ZB 2002: Formal Specification and Development in Z and B. Lecture Notes in Computer Science. Vol. 2272. Springer. ISBN 3-540-43166-7.
  • Schneider, Steve A.; Hoang, Thai Son; Robinson, Ken; Treharne, Helen (2006). "Tank monitoring: a pAMN case study" (PDF). Formal Aspects of Computing. 18 (3): 308–328. doi:10.1007/s00165-006-0004-5. S2CID 93435.

참고 항목

참조

  1. ^ a b c d "Remembering Ken Robinson". Australia: School of Computer Science and Engineering, University of New South Wales. 18 September 2020. Archived from the original on 2020-10-20. Retrieved 20 October 2020.
  2. ^ a b Robinson, Ken (2016). "Kenneth Arthur Robinson". CV.
  3. ^ a b c "Ken Robinson – A Remembrance" (PDF). FACS FACTS. Vol. 1. BCS-FACS. February 2021. pp. 26–31. Retrieved 28 March 2021.