Visit Peter Bishop

Postal Address

Overview

Peter Bishop is a Professor at the Centre for Software Reliability, sharing a joint chair in Systems and Software Dependability with Robin Bloomfield. He is also a Principal Consultant at Adelard LLP which provides computer safety and dependability consultancy and research services to industry. He has BSc and MSc degrees in Physics and is a Chartered Engineer and Member of the IEE.

Peter Bishop joined City University in 2001, and his research work includes software fault tolerance, design diversity, software reliability prediction and statistical testing, system safety and security, assurance case methodologies and their application in a range of industrial contexts (including the assurance strategies for autonomous vehicles).

At Adelard LLP, he undertakes research for the UK nuclear industry on a range of topics including smart device assessment. He has participated in a number of European research projects on assuring the safety of critical control systems. His consultancy work includes software assessment, security-informed safety assessment and assurance case construction for a range of clients in the nuclear, defence, transport, medical and financial sectors. He is currently involved safety assurance activities for the UK Nuclear New Build programme.

He was formerly employed in the research laboratories of the CEGB and National Power. Initially he was involved in the development of process automation. In later years his work was primarily concerned with software reliability research and assessment. He was heavily involved in the assessment of the Sizewell B Primary Protection System software and also undertook research into formal specification methods, verification and testing, software diversity and fault tolerance.

van der Meulen, M.J.P., Bishop, P.G. and Revilla, M. An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs.15th International Symposium on Software Reliability Engineering.

Bishop, P.G., Burns, G. and Anderson, S.O. (1993). Stepwise Development and Verification of a Boiler System Specification.International Workshop on the Design and Review of Software Controlled Safety-related Systems 28-29 June, National Research Council, Ottawa, Canada.

Member of the College of Reviewers for the Canada Research Chairs Program. There are two types of Chairs: Tier 1 Chairs (seven year term, renewable indefinitely, $200K per annum) are offered to outstanding researchers recognized as world leaders in their field; Tier 2 Chairs (five year term, renewable once, $100K per annum) are offered to exceptional emerging researchers. For more information, please visit our Web site at www.chairs-chaires.gc.ca.

Find us

City, University of London is an independent member institution of the University of London. Established by
Royal Charter in 1836, the University of London consists of 18 independent member institutions with outstanding
global reputations and several prestigious central academic bodies and activities.

City, University of London uses cookies to improve your experience on our website. By continuing browsing this website without changing your cookie settings, we assume you agree to this. Find out about the cookies we use.