So that's the famous Tony Hoare. Nice trip down memory lane there. Who was the guy at the end from the Erlang community? (The one who drew a chart with the axe

So that's the famous Tony Hoare. Nice trip down memory lane there. Who was the guy at the end from the Erlang community? (The one who drew a chart with the axes useful/useless versus unsafe/safe that he claimed he got from Simon Peyton-Jones?)