John Rushby - John Rushby

John Rushby
narozený1949
Londýn, Anglie
Státní občanstvíbritský
Alma materNewcastle University
Vědecká kariéra
PoleFormální metody a spolehlivé systémy
InstituceManchester University
Newcastle University
SRI International

John Rushby (narozen 1949) je a britský počítačový vědec nyní se sídlem v Spojené státy a pracovat pro SRI International. Předtím učil a dělal výzkum pro Manchester University a později Newcastle University.

raný život a vzdělávání

Narodil se a vyrůstal John Rushby Londýn, kde se zúčastnil Dartfordské gymnázium. Studoval na Newcastle University v Spojené království, získává jeho počítačová věda BSc tam v roce 1971 a jeho PhD v roce 1977.[1][2]

Kariéra

V letech 1974 až 1975 působil jako odborný asistent na katedře výpočetní techniky na Manchester University. V letech 1979 až 1982 působil jako vědecký pracovník na Katedře výpočetní techniky na Newcastle University.

Rushby se přidal SRI International v Menlo Park, Kalifornie v roce 1983.[1] V současné době je programovým ředitelem pro Formální metody a Spolehlivé systémy v laboratoři informatiky na SRI.[1] On vyvinul Systém ověřování prototypů, což je věta prover.

Ocenění a členství

Rushby byl příjemcem 2011 Harlan D. Mills Cena od IEEE Computer Society.[3]

Reference

  1. ^ A b C „John Rushby Bio“. Centrum pro vysoce zabezpečené počítačové systémy, divize informačních technologií, United States Naval Research Laboratory. Archivovány od originál dne 2. července 2001. Citováno 4. března 2012.
  2. ^ Charles (15. června 2011). „ICSE 2011: John Rushby - Formální metody, ověřování a historie výpočtů“. Kanál 9. Citováno 12. března 2012.
  3. ^ „John Rushby: 2011 Harlan D. Mills Award Recipient“. IEEE Computer Society. Citováno 4. března 2012.

externí odkazy