Fellow
United Kingdom – 2016
CITATION

For contributions to the theory and practice of probabilistic verification.