Author: Peter B. Ladkin
Prof. Ph.D.
Professor of Computer Networks and Distributed Systems at the University of Bielefeld in Germany. Also Principal Investigator at CITEC, the Centre of Excellence in Cognitive Interaction Technology at the University of Bielefeld.
Main interest in safety of systems including computer-based components. Known for transportation system accident analysis, especially in commercial aviation. Devised the Why-Because Analysis (WBA) method, now supported with software developed by the tech-transfer company Causalis Limited. Devised the Ontological Hazard Analysis method, being developed and extended by workers in his RVS group at the university. As well as safety, has published in formal algorithm verification, and constraint satisfaction problems in interval temporal reasoning, as well as formal methods in software engineering.
B.A.(Hons) in Maths and Philosophy from the University of Oxford (1973), M.A. in Math and Ph.D. in Logic and the Methodology of Science (1987) from the University of California, Berkeley. Lived in England (22 years), California (18 years), various places in Europe as well as California (4 year) and Germany (14 years). Hobbies music, walking, cycling, the natural world, poetry, writing, cooking, wine.
Publications
Co-authors
Productive Colleagues
Publications
Ladkin, Peter B. (1998): The Risks of Hubris. In Communications of the ACM, 41 (12) pp. 160.
Ladkin, Peter B. (1997): Risks of Technological Remedy. In Communications of the ACM, 40 (11) pp. 160.
Thimbleby, Harold, Ladkin, Peter B. (1995): A Proper Explanation When You Need One. In: Kirby, M. A. R., Dix, Alan J., Finlay, Janet E. (eds.) Proceedings of the Tenth Conference of the British Computer Society Human Computer Interaction Specialist Group - People and Computers X August, 1995, Huddersfield, UK. pp. 107-118.