ACM_Citations
  • United Kingdom-2016

    For contributions to the theory and practice of probabilistic verification. Press Release

Experience
Education
Bio
My research is concerned with modelling and analysis methods for complex systems, such as those arising in computer networks, electronic devices and biological organisms. The analysis methods that I investigate include simulation and formal verification, with particular emphasis on quantitative verification of probabilistic systems. My work spans the whole spectrum, from theory, through algorithms to software implementation and applications.