4 ms·Congrats on the Tony Hoare prize, that's very impressive, Michael.by jll29 5y agoCongrats on the Tony Hoare prize, that's very impressive, Michael.mherrmann 5y agoThank you! Are you at Imperial?