팀 덴비르

Tim Denvir
팀 덴비르
태어난1939
시민권영국의
모교케임브리지 대학교 트리니티 칼리지
로 알려져 있다소프트웨어 엔지니어링, 정식 방법
어워드STL 크리에이티브 어워드
과학 경력
필드컴퓨터 공학
기관Texas Instruments, Elliott Brothers, University of London, ICL, STL, Praxis, Brunel University, City University

Tim Denvir(1939년생)는 영국의 소프트웨어 엔지니어이며 정식 [1]방법을 전문으로 합니다.

덴비르는 1959년부터 1962년까지 [2]케임브리지 트리니티 칼리지에서 수학 학위를 받았다.

학위를 취득하기 전인 1958-1959년 동안 Tim Denvir는 텍사스 인스트루먼트의 엔지니어링 보조로 이산 반도체를 사용하여 전자 회로를 설계, 제작 및 테스트했습니다.학위를 받은 후 1962~1965년에는 엘리엇 브라더스에서 시스템 프로그래머로 활동하며 운영 체제 및 장치 드라이버를 프로그래밍했습니다.1965~1969년에는 런던 대학 Atlas Computing Service의 시스템 프로그래머로 Atlas 컴퓨터와 컴파일러 설계를 위한 시스템 프로그래밍을 담당했습니다.1969~1971년에는 RADICS의 프로젝트 매니저로 ALGOL 60 [3]컴파일러를 담당했습니다.

1971~1972년에는 ICL(International Computers Limited)의 최고 기술 책임자로 메인프레임 컴퓨터의 ICL 2900 시리즈용 컴파일러 설계의 통합에 임했습니다.1972-1986년에는 부서 매니저를 거쳐 1980년부터는 STL(Standard Telecommunication Laboraties)의 수석 연구 엔지니어로 프로젝트 관리, 기술 교육 및 연구에 종사했습니다.그는 STL 크리에이티브 어워드를 수상했다.1986-1991년에는 Praxis Systems plc의 수석/주임 컨설턴트였으며, 영국 정부 무역 산업부(DTI)의 정보기술 부문(IT Division)에 파견되었습니다.1991~2003년에는 Translimina [2]Ltd.의 이사로 재직했습니다.

학문적으로 1988-1989년 동안 Denvir는 브루넬 대학에서 정식 방법을 가르치는 어소시에이트 리더였습니다.1992-1994년 동안, 그는 런던 시티 대학의 명예 초빙 교수였으며, 그곳에서 표현 [2]의미론에 대한 강좌를 개발하고 제공했습니다.

Denvir는, 「컴퓨팅의 형식적 측면」저널(1989-2003)과 「스프링어 FACIT」북 시리즈의 편집 이사입니다.BSI IST/51-119 Vienna Development Method(VDM) 표준화 위원회의 멤버였습니다.VDM 유럽 장관(1986–88 & 1991년)과 FACS 스페셜리스트 그룹 회장(1993–1995년)을 역임했습니다.최근에는 관련 FACS [4]Facts의 편집자이기도 합니다.

Tim Denvir는 다음과 [5]같은 다수의 책을 집필/편집/번역했습니다.

  • 동시 시스템 분석 (스프링거, 컴퓨터 사이언스 207, 1985, ISBN3-540-16047-7) W. T. Harwood, M. I. J. Jackson 및 M. J. Wray와 공동 편집
  • 소프트웨어 엔지니어링 이산 수학 입문 (Macmillan, Computer Science Series, 1986, ISBN 978-0333407370)
  • 측정의 형식적 측면(Springer, Workshops in Computing, 1991년, ISBN 978-3540197881, Robin Whitty), Rosalind Herman 및 Robin Whitty와 공동 편집
  • 제5회 개선 워크숍(Springer, Workshops in Computing, 1992, ISBN 978-3540197522), Cliff B와 공동 편집. Jones와 Roger C.쇼
  • FM'94: 형식 방법의 산업적 이점(Springer, 1994, 컴퓨터 과학 강의 노트, ISBN 978-3-540-58555-8, doi:10.1007/3-540-58555-9), Maurice Naftalin 및 Miquel Bertran과 공동 편집
  • Carl Adam Petri: Life and Science (스프링어, 2015, ISBN 978-3662480922), 저자와 Tim Denvir의 영문 번역

이익

팀은 2011년 3,855피트 이상의 스코틀랜드 언덕인 282 먼로스의 모든 것을 "완성"한 산악인이었고, 먼로스트의 넘버 4,855가 되었다.

레퍼런스

  1. ^ Denvir, Tim (1 March 2017). "Fifty Years of Formal Methods in Software Engineering: Personal View". YouTube. BCS-FACS. Retrieved 28 February 2021.
  2. ^ a b c Denvir, Tim (2020). "Curriculum Vitae" (PDF).
  3. ^ Denvir, Tim; Astarte, Troy (3 December 2020). "Algol 60 @ 60". YouTube. BCS-FACS. Retrieved 28 February 2021.
  4. ^ "FACS: Newsletters". BCS. Retrieved 28 February 2021.
  5. ^ "Tim Denvir books". Amazon.co.uk. Amazon. Retrieved 28 February 2021.

외부 링크