Kwiatkowska’s research develops models and analysis methods for complex systems, as found in computer networks, biological organisms and electronic devices. Kwiatkowska led development of the PRISM probabilistic model checker; PRISM has been downloaded over 79,000 times and there are over 400 papers by external research teams using PRISM (as at January 2021).
