존 러시비
John Rushby존 러시비 | |
|---|---|
| 태어난 | 1949 영국 런던 |
| 시민권 | 영국의 |
| 모교 | 뉴캐슬 대학교 |
| 과학 경력 | |
| 필드 | 정식 방법과 신뢰할 수 있는 시스템 |
| 기관 | 맨체스터 대학교 뉴캐슬 대학교 SRI 인터내셔널 |
John Rushby(1949년생)는 현재 미국에 거점을 두고 있으며 SRI International에서 일하고 있는 영국의 컴퓨터 과학자입니다.그는 이전에 맨체스터 대학과 이후 뉴캐슬 대학에서 가르치고 연구를 했다.
초기 생활과 교육
존 러시비는 런던에서 태어나고 자랐으며, 다트포드 그래머 스쿨을 다녔다.그는 영국 뉴캐슬 대학에서 공부했고, 1971년에 그곳에서 컴퓨터 공학 BSc를, [1][2]1977년에 박사 학위를 취득했다.
직업
1974년부터 1975년까지, 그는 맨체스터 대학의 컴퓨터 과학부 강사였습니다.1979년부터 1982년까지, 그는 뉴캐슬 대학의 컴퓨터 과학부의 연구원이었습니다.
Rushby는 [1]1983년 캘리포니아주 Menlo Park에 있는 SRI International에 입사했습니다.현재는 [1]SRI의 컴퓨터 사이언스 연구소에서 정식 방법 및 신뢰성 높은 시스템 프로그램 디렉터로 재직하고 있습니다.그는 정리 검증 시스템인 프로토타입 검증 시스템을 개발했다.
수상 및 멤버십
러시비는 2011년 Harlan D의 수상자였다. IEEE Computer [3]Society로부터의 Mills Award.
레퍼런스
- ^ a b c "John Rushby Bio". Center for High Assurance Computer Systems, Information Technology Division, United States Naval Research Laboratory. Archived from the original on 2 July 2001. Retrieved 4 March 2012.
- ^ Charles (15 June 2011). "ICSE 2011: John Rushby - Formal Methods, Verification and Some Computing History". Channel 9. Retrieved 12 March 2012.
- ^ "John Rushby: 2011 Harlan D. Mills Award Recipient". IEEE Computer Society. Retrieved 4 March 2012.
