A.W. Roscoe

• Reflections on the Work of C.A.R. Hoare
• The modelling and analysis of security protocols
• Understanding Concurrent Systems
• Domains for Denotational Semantics