Copy out his public key from his website and paste it into your pgp client.
Discussion
I added my public key to https://pgp.mit.edu. How do I search myself? It asks for a string to search. What string?
I figured out how to search myself
I added my public key to https://pgp.mit.edu. How do I search myself? It asks for a string to search. What string?
I figured out how to search myself