Woody Pattinson died in a diving accident in March 2020. He is fondly remembered by his work colleagues and professional network.
