Steve Vickers(컴퓨터 과학자)

Steve Vickers (computer scientist)
스티브 비커스
Steve Vickers sitting next to a flatscreen television which is connected to a Jupiter ACE.
스티브 비커스
시민권영국
모교케임브리지 대학교
리즈 대학교
로 알려져 있다로직을 통한 토폴로지
ZX 스펙트럼 ROM 펌웨어
과학 경력
필드컴퓨터 공학
수학
기관임페리얼 칼리지 런던
오픈 유니버시티
버밍엄 대학교
논문범용 강정규 링 (1979)
박사 어드바이저알프레드 골디

스티브 비커스(Steve Vickers,[1] 1953년생)는 영국의 수학자이자 컴퓨터 과학자이다.1980년대 초, 그는 세 대의 가정용 컴퓨터, 즉 싱클레어 ZX81과 ZX Spectrum, 주피터 [2][3]에이스의 ROM 펌웨어와 매뉴얼을 작성했습니다.후자는 리처드 알트와서와 함께 설립한 단명 회사 주피터 칸타브가 싱클레어 연구소를 떠난 후 제작했다.1980년대 후반부터 비커스는 기하학 논리학 분야의 학자로 컴퓨터 과학의 수학적 측면에 관한 학술지에 30개 이상의 논문을 썼다.그의 저서 "논리를 통한 위상"은 다양한 분야에 걸쳐 영향을 끼쳤다(이론 물리학까지 확장됨). 임페리얼 칼리지 런던의 크리스토퍼 이삼은 토포이와 양자[4] 중력에 대한 그의 연구에 대한 초기 영향으로서 비커스를 인용했다.2018년 10월, 버밍엄 대학의 수석 강사로 퇴직했습니다.그는 홈페이지에서 밝힌 대로 대학 박사과정 학생들을 감독하며 연구에 매진하고 있다.

교육

비커스는 케임브리지 킹스 칼리지에서 수학 학위를 받고 리즈 대학에서 수학 박사 학위를 [5]취득했다.

싱클레어 리서치

1980년에 Nine Tiles에서 일하기 시작했습니다.Nine Tiles는 이전에 ZX80용 Sinclair BASIC을 작성했습니다.그는 4K ZX80 ROM을 ZX81에 사용되는 8K ROM에 적응시키는 일을 담당했으며 ZX81 매뉴얼도 작성했습니다.그 후, ZX Spectrum ROM 의 대부분을 작성해, 유저 메뉴얼의 작성을 서포트했습니다.

비커스는 1982년 리차드 알트와서와 함께 레인보우 컴퓨팅사를 설립하기 위해 회사를 떠났다.이 회사는 주피터 칸타브가 되었고, 그들은 비슷한 Sinclair ZX Spectrum의 경쟁자인 상업적으로 성공하지 못한 주피터 ACE의 개발에 대한 책임을 함께 졌다.

학계

원래 임페리얼 칼리지 런던 컴퓨터학과에 다녔던 비커스는 이후 오픈 대학의 순수 수학학과에 입학한 후 버밍엄 대학의 컴퓨터 과학대학으로 옮겨 현재 컴퓨터 과학대학 수석강사 겸 연구생 과외교사를 하고 있습니다.

조사.

비커스의 주된 관심사는 기하학적 논리 안에 있다.그의 저서 Topology via Logic은 Samson Abramsky와 Mike Smyth에 의해 개발된 컴퓨터 통찰력의 관점에서 토폴로지를 소개합니다.그것은 점 없는 접근을 강조하고, 소위 기하학적 논리라고 불리는 이론들을 다루는 것으로 이해될 수 있는데, 이것은 이미 토포스 이론에서 알려졌고 직관적인 논리학의 더 엄격한 형태이다.그러나 이 책은 고전 수학의 언어로 쓰여졌다.

아이디어를 (일반화된 공간으로서) 토포스로 확장하면서 그는 기하학적 형태로 건설적인 수학에 몰두하고 있는 자신을 발견했고, 그는 가능한 한 이 기하학적 수학을 점 없는 공간(및 토포스)을 "충분한 점"을 가진 것처럼 다루기 위한 도구로 사용하는 기하학적 프로그램을 시작했다.그의 후속 연구의 대부분은 적절한 기술로 유용한 수학을 기하학적으로 할 수 있다는 것을 보여주는 사례 연구였다.특히, "공간으로의 점의 기하학적 변환" 개념은 위상 다발의 자연스러운 섬유화 처리를 제공한다.그의 최근 프로젝트는 이것을 Chris Isham과 다른 사람들에 의해 개발된 물리학의 토포스적 접근법과 연결하는 것이었습니다(Doering과 Isham의 What is a Thing 참조). 임페리얼 칼리지의 토포스 이론(Topos Theory)과 라드바우드 대학의 니메겐(Klaas Landsman) 그룹(Heunen, Landsman 및 Spetters의 대수 양자 이론에 대한 토포스 참조).

참고 문헌

  • Steven Vickers, "산술 우주에서의 결과에 대한 유도 원리", 순수 및 응용 대수학 저널 216(8-9), ISSN 0022-4049, 페이지 1705–2068, 2012.
  • Jung, Achim and Moshier, M. Andrew and Vickers, Steven, Bauer, A. 및 Mislove, M.의 "dcpo 대수의 제시", 프로그래밍 의미론의 수학적 기초에 관한 제24차 회의의 속행(MFPS XX–22), 209페이지, 209.
  • Steven Vickers, "정식 토폴로지의 외관과 연결성", 순수 및 응용논리 연보, ISSN 0168-0072, 2009.
  • Steven Vickers, "하위 및 상부 적분의 국소적 이론", Mathematical Logic Quarterly, 54 (1), 페이지 109–103, 2008.
  • Steven Vickers, "공간으로서의 로컬과 토포즈", 아이엘로, 마르코, 프랫-하르트만, Ian E.와 van Benthem, Johan F.A.K., Springer, Space Logics 핸드북, Springer, 2007, ISBN978-1-4020-5586-7, 8장, 429-496페이지.
  • Palmgren, Erik and Vickers, Steven, "부분 혼 논리 및 데카르트 범주", 순수 및 응용 논리 연보, 145(3), 페이지 314~353, ISSN 0168-0072, 2007.
  • Steven Vickers, "범주의 일반화된 미터법 공간의 국지적 완성 I, 이론 및 응용", ISSN 1201-561X, 14, 페이지 328-356, 2005.
  • Steven Vickers, "일반화된 미터법의 국지적 완성 II: Powerlocales, Journal of Logic and Analysis", ISSN 1759-9008, 1(11), 페이지 1~48, 2009.
  • Steven Vickers, "이중 파워로케일과 지수: 기하학적 논리에서의 사례 연구", 이론 컴퓨터 과학, ISSN 0304-3975, vol. 316, 페이지 297-321, 2004.
  • Steven Vickers, Winskel, "영역의 토폴로지 카테고리", 1992년 오르후스 대학교 컴퓨터과학부 오르후스, CLICS 워크숍 속행.
  • Vickers, S. J., "건설적 논리를 통한 토폴로지", Mossburg 및 De Rijke, Logic, Language and Computation Vol II, 정보이론적인 논리, 언어 및 계산 접근에 관한 회의의 진행, 1996, ISBN 1575, 15861,188675
  • Vickers, S. J., "Topos pour les vraiment nuls, A.와 Jourdan, McCusker, G., 1996 이론 및 형식 계산 방법의 진보, ISBN 1-86094-031-5, 임페리얼 칼리지 프레스, 1996–12 페이지.
  • S. J. Vickers, "Topos pour les nuls", Techreport Doc96/4, 임페리얼 칼리지 런던 컴퓨팅학과 (Semantics Society 뉴스레터 4호에 처음 게재)
  • Broda, K. and Eisenbach, S. 및 H. and Vickers, H. and Vickers, S.J., "Reasoned Programming", ISBN 0-13-098831-6, Frentice Hall, International Series in Computer Science, 1994.
  • Johnstone, P. T. and Vickers, S. J., "프리프레임 프레젠테이션 프레젠테이션" (A. 및 M.C. 및 Rosolini., G.의 Category Theory – Procedures, Como 1990, ISBN 3-540-54706-0-387, 7474)
  • Steven Vickers, "논리를 통한 토폴로지", 캠브리지 대학 출판부, ISBN 0-521-57651-2, 1996.
  • 도링, 안드레아스, 이섬, 크리스, "무엇이 무엇인가:밥 코케, 물리학의 새로운 구조, 제13장 753–940, 물리학 강의 노트, 813, 스프링거, 2011, ISBN 978-3-642-12820-2, (Arxiv:0803.17v 참조)
  • Heunen, Chris and Landsman, Nicolaas P. and Spitters, Bas, A Topos for Algebraqual Quantum Theory, 2009, Communications in Mathematical Physics, 291 (1), 페이지 63–110, ISSN 0010-3616 (인쇄) 1432-0916 (온라인).

레퍼런스

  1. ^ 1982년 7월 Sinclair User 기사에서 Vickers의 나이는 29세로 제시되었습니다.: CS1 maint: 아카이브된 copy as title (link)는 2013년 10월 5일에 액세스했습니다.
  2. ^ Laing, Gordon (7 September 2004). Digital retro. Sybex. ISBN 9780782143300. Retrieved 9 June 2011. The ROM size was doubled again...with Steve Vickers writing the lion's share
  3. ^ "(article title missing)". Byte, Volume 8, Number 8. 1983. p. 43. Retrieved 9 June 2011. Steve Vickers and Richard Altwasser, who designed the Ace, were the codesigners of the Spectrum and are now ...
  4. ^ 유튜브 동영상 크리스 아이샴: "물리학 이론의 공식화에서의 토포스 이론" 약 1분 전.
  5. ^ 수학 계보 프로젝트의 스티브 비커스

외부 링크