리처드 보나트
Richard Bornat리처드 보나트(Richard Bornat, 1944년 출생)는 영국의 작가 겸 컴퓨터 과학 분야의 연구원이다.그는 미들섹스 대학의 컴퓨터 프로그래밍 교수도 맡고 있다.이전에 그는 런던 대학의 퀸 메리 대학에 있었다.null
리서치
보르나트의 연구 관심사는 분리 논리로 증명하는 프로그램을 포함한다.그의 초점은 어떤 논리적 근거와는 달리 증거 그 자체에 있다.대부분의 작업은 독립적 모듈의 구성을 유용한 시스템으로 만드는 방식으로 독립적 모듈의 속성을 기술하는 방법을 발견하는 것을 포함한다.null
보르나트(Oxford University Computing Laboratory의 Bernard Sufrin과 함께)는 증명 계산기인 Jape를 개발했다. 그는 새로운 증명 탐구를 위한 이 도구의 사용성에 대한 연구에 관여하고 있다.null
리처드 보나트의 박사과정 학생들은 1980년대 초 샘슨 에이브럼스키를 포함시켰다.null
2004년, 보르나트의 학생 중 한 명이 "프로그래밍에 접촉하기 전에 사람들을 프로그래머와 비프로그래머로 나누기 위해 적성검사를 개발했다.이 테스트는 2005년 프로그래밍에서 정신 모델의 사용에 관한 실험에서 처음으로 학생들에게 주어졌다.[1]2008년과 2014년, 보르나트는 일부 주장을 철회하여 프로그래밍 능력에 대한 시험으로서의 타당성을 훼손했다.[2][3]null
출판물
보르나트는 컴파일러 개발에 관한 가장 방대한 자료 중 하나로 꼽히는 '컴파일러의 이해와 쓰기: 스스로 실행하라 가이드'라는 제목의 책을 출간했다.한동안 절판됐지만 그는 이제 온라인 판으로 출시했다.null
보르나트의 기타 간행물에는 다음이 포함된다.
- R. Bornat; 1987; 제1원칙으로부터의 프로그래밍; 컴퓨터 과학에서의 프렌티스 홀 국제 시리즈 ISBN0-13-729104-3.
- 리차드 보나트와 해롤드 심블비; 1989;ded의 수명 및 시간, 디스플레이 편집기; J.B.롱 앤 에이.화이트필드(eds), 인지 인체공학과 휴먼 컴퓨터 상호작용; 캠브리지 대학 출판부; 페이지 225–255.
- Richard Bornat and Bernard Sufrin;1999; 표면에서 형식적인 증거 애니메이션: {Jape} 교정 계산기;컴퓨터 저널; 제 42권; 제 3권; 페이지 177–192.
- Aczel, J. C, Fung, P, Bornat, R, Oliver, M, O'Shea, T, & Sufrin, B., 1999; 공식 추론에 대한 소프트웨어 디자인의 영향; Brewster, Cawsey, A. & Cockton, G.IFIP TC.13 인간-컴퓨터 상호작용에 관한 국제회의의 진행 '99; Vol. 2; 페이지 3–4; 영국, 영국 컴퓨터 협회, ISBN 1-902505-19-0.
- R. Bornat; 2000; Hoare Logic의 Pointer Programs; Backhouse & Oliveira (eds) MPC 2000; LNCS 1837; 페이지 102–126.
- C. 칼카그노, P. 오헤른, R. 보나트, 2002; 프로그램 로직과 균등성, 쓰레기 수집의 존재.파운데이션에 관한 이론 컴퓨터 과학 특별호에 실릴 것.
참조
- ^ Dehnadi,Saeed & Bornat, Richard (20 February 2006). "The camel has two humps" (PDF). School of Computing, Middlesex University, UK. Archived from the original (PDF) on 22 November 2009.
{{cite web}}: CS1 maint : 복수이름 : 작성자 목록(링크) - ^ Bornat, Richard (24 July 2014). "Camels and humps: a retraction" (PDF). School of Science and Technology, Middlesex University, London, UK.
- ^ "The camel doesn't have two humps: Programming "aptitude test" canned for overzealous conclusion - Retraction Watch". Retraction Watch. 18 July 2014. Retrieved 13 November 2017.
