스티브 슈나이더(컴퓨터 과학자)

Steve Schneider (computer scientist)
기후학자는 Stephen Schneider를 참고하세요.
스티브 슈나이더
태어난
영국
국적.영국의
시민권영국
모교옥스퍼드 대학교
로 알려져 있다정식 방법, 컴퓨터 보안
과학 경력
필드컴퓨터 공학
기관런던 대학교 로얄 할로웨이; 서리 대학교
박사 어드바이저G. 마이크 리드[1]

스티브 슈나이더 FBCS, CITP는 영국의 컴퓨터 과학자이며 보안 교수입니다.[2]Surrey [3]대학의 Surrey Center for Cyber Security 및 Associate Dean(연구 및 엔터프라이즈) 소장을 맡고 있습니다.

전기

Steve Schneider는 옥스포드 대학에서 공부한 후 옥스포드 대학 컴퓨팅 연구소(현 옥스포드 대학 컴퓨터 과학부)에 들어가 1989년 마이크 [1][4]리드의 지도 하에 CSP 박사 학위를 취득했습니다.1994년 영국 런던대 로얄할로웨이 강사로 입사해 1999년 수석강사, 2002년 교수가 됐다.그는 2004년에 서리 대학으로 옮겨 2004년부터 [3]2010년까지 컴퓨터 과학부의 학과장을 지냈다.

Schneider는 CSP(Communicationing Sequential Processes)와 B-Method를 포함한 공식 방법 및 컴퓨터 [2]보안에 대한 전문가입니다.

엄선된 책

  • Schneider, Steve (1999). Concurrent and Real Time Systems: the CSP Approach],. John Wiley.
  • Ryan, Peter Y.A.; Schneider, Steve; Goldsmith, Michael; Lowe, Gavin; Roscoe, Bill (2000). Modelling and Analysis of Security Protocols. Pearson Education.
  • Schneider, Steve (2001). The B-Method: An Introduction. Cornerstones in Computer Science. Palgrave. ISBN 0-333-79284-X.

레퍼런스

  1. ^ a b 수학 계보 프로젝트의 스티브 슈나이더
  2. ^ a b "Steve Schneider". Royal Society. Retrieved 9 December 2016.
  3. ^ a b "Faculty appoints new Associate Dean (Research & Enterprise)". News and Features. UK: University of Surrey. Retrieved 9 December 2016.
  4. ^ Schneider, Steven A. (1989), "Correctness and Communication in Real-Time Systems", D.Phil thesis, UK: University of Oxford

외부 링크