Peter Ladkin's Home Page

I am Professor of Computer Networks and Distributed Systems and lead the group of the same name, but known after its German initials as the RVS Group, in the Faculty of Technology at the University of Bielefeld in Germany. Our contact coordinates and most other information including publications are available through the group's Home Page.

My interests are: specification, verification, and failure analysis of complex heterogeneous systems, and distributed systems in general. I have recently concentrated on problems in rail and aviation contexts. I am the originator of the Why-Because Analysis (WBA) method of causal analysis of incidents, which has been adopted as company standard by Siemens Transportation Systems Rail Automation and Mass Transit Divisions.

I also work or have worked in the analysis and optimisation of parallel programs; constraint satisfaction methods and temporal reasoning; and logical, philosophical and ethical issues in computing.

Here's a potted biography.

I maintain

One of our main research projects, Why-Because Analysis, which aims to produce rigorous causal analyses, with proofs of correctness and relative sufficiency, of incidents and accidents, has its own WBA Home Page.

My writing from 1995-present may be found on the RVS Group Publications Page. My writing previous to 1995, as well as publications with origins in other publications before 1995, may be found on my pre-1995 publications page. (Publications which do not have electronic versions are not included.)

Finally, here is information about