 John Rushby is Program Director for Formal Methods and Dependable Systems at the Computer Science Laboratory of SRI International, Menlo Park, CA.
He was born in London and studied at the University of Newcastle upon Tyne, receiving BSc and PhD degrees in Computer Science 1971 and 1977 respectively.
John's first job was as a "higher scientific officer" at (what was then) the Atlas Computer Laboratory (now part of the Computation and Information Department of The Central Laboratory of the UK Research Councils), where he worked with computer graphics and early animation systems. He was subsequently a lecturer in the Computer Science Department at Manchester University, and a research associate in the Department of Computing Science at the University of Newcastle upon Tyne.
He joined SRI in 1983 where he was successively a Computer Scientist, Senior Computer Scientist, Program Manager and, from 1986 to 1990, the Acting Director of CSL, assuming his present position in 1991.
John is:-
- a Senior Visiting Fellow at the DIRC, an interdisciplinary research activity on dependable computing systems involving five UK Universities
- a member of a study Sufficient Evidence? Building Certifiably Dependable Systems of the Computer Science and Telecommunications Board of the National Academies of Science
- a member of RTCA Special Committee 200 on Certification for Integrated Modular Avionics
|
