John May is Director of a research group in the Safety Systems Research Centre. The SSRC studies failure in a new breed of highly complex systems built by man. Existing scientific and engineering techniques have been unable to describe or control these phenomena.
For example, it was previously thought to be the case that non-trivial software systems were untestable, in the sense that testing could not provide meaningful quantitative assurance of software function. We have demonstrated that this not the case for a significant class of software, and have applied new statistical reliability testing techniques to critical nuclear systems, including ...
View complete publications list in the University of Bristol publications system
Edit this profile If you are Dr John May, you can edit this page. Login required.
All details on one page > for printing etc.