Risk Management for Computer Systems

How do we design our nuclear plants, dikes, railway systems and heart monitors such that they are safe and reliable? How do we make sure that internet stores and water supply systems are aways available? I am developing quantitative risk assessments methods that ensure that the risks related to computing systems lie within acceptable boundaries. I develop techniques to analyze, predict, improve reliability of complex systems, using fault trees, model-based testing, and architectural reliability modeling. Technically, distinguishing feature of my techniques is compositionality: I derive risk profiles from a complex systems from component risk profiles, using powerful techniques from model checking. This makes life easy, flexible and fast. See my papers for more.