1. Students
  2. Alumni
  3. Honorary Graduates
  4. Academic Experts
  1. Dr Kizito Salako

Contact Information


Visit Dr Kizito Salako

A304, College Building


Postal Address

City, University of London
Northampton Square
United Kingdom



Dr Kizito Salako is an applied mathematician and software developer at the Centre for Software Reliability (CSR), City University London. He holds a first-class double honours degree in Mathematics and Statistics from the University of Lagos (2000); a Master of Advanced Study in Mathematics degree from the University of Cambridge (where he was both a Shell Centenary Scholar and a Commonwealth Scholar, 2001); and a PhD from City University London (2012).

Kizito is passionate about mathematics (in particular, Differential Geometry and Probability theory) and its application to modelling complex systems. His doctoral thesis clarifies and significantly extends the applicability of a family of probabilistic models used to describe the failure behaviour of multi-version software. Further still, he developed a novel geometric approach to extremising the expected system reliability of a class of fault-tolerant software-based systems; so-called 1-out-of-N systems.

Since joining CSR in October 2002, Kizito has contributed to several projects (for instance, DISPO, DIRC, IRRIIS and AFTER) both as a mathematician and as a software developer. His research activities have ranged from "understanding the impact of process diversity on the reliability of fault-tolerant software-based systems" to "studying the interdependencies that exist between complex systems and how these affect system resilience and dependability". More recently, in addition to developing a methodology for evaluating the effectiveness of password security policies, he is also working on a simulation-based approach to assessing the performance of Database Replication Protocols, particularly those protocols which guard against non-self-evident failures (e.g. failures such as incorrect results of read or write operations) as part of the DIDERO-PC project.

Kizito was instrumental in developing the PIA-FARA simulation engine, creating modular software that implements and analyses the probabilistic, functional and process relationships that may exist between the components of large-scale interdependent complex critical infrastructure. His programming language of choice is C++.


Research interests

- Mathematical Modelling of interdependent complex systems/critical infrastructure dependability
- Monte-Carlo simulation of Complex Systems, using models that are generalisations of Stochastic Activity Networks
- Geometric approaches to optimisation problems in Software Reliability modelling.




Conference Papers and Proceedings (6)

  1. Netkachov, O., Popov, P. and Salako, K. (2016). Model-based evaluation of the resilience of critical infrastructures under cyber attacks. .
  2. Popov, P., Salako, K.O. and Stankovic, V. (2015). Stochastic modeling for performance evaluation of database replication protocols. 12th International Conference on Quantitative Evaluation of Systems 1-3 September, Madrid, Spain.
  3. Jones, K. and Salako, K. (2013). Modeling Security Policy and the Effect for End-Users. HCI International 2013: 15th International Conference on Human-Computer Interaction 21-26 July, Las Vegas, Nevada, US.
  4. Bloomfield, R.E., Buzna, L., Popov, P.T., Salako, K. and Wright, D. (2009). Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure. .
  5. Bloomfield, R.E., Chozos, N. and Salako, K. (2009). Current Capabilities, Requirements and a Proposed Strategy for Interdependency Analysis in the UK. .
  6. Salako, K. (2007). Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity. .

Journal Articles (2)

  1. Netkachov, O., Popov, P. and Salako, K. (2014). Quantification of the impact of cyber attack in critical infrastructures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8696 LNCS, pp. 316–327. doi:10.1007/978-3-319-10557-4_35.
  2. Salako, K. and Strigini, L. (2013). When does "Diversity" in Development Reduce Common Failures? Insights from Probabilistic Modelling. IEEE Transactions on Dependable and Secure Computing, 99(preprints) . doi:10.1109/TDSC.2013.32.

    [publisher’s website]


  1. Salako, K., Stankovic, V. and Popov, P. (2015). Stochastic model for performance evaluation of database replication protocols..

Find us

City, University of London

Northampton Square

London EC1V 0HB

United Kingdom

Back to top

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.