" Samuel Howse, PhD (born 1980, died 2008): Studied Computer Science and Economics at Dalhousie University. An inventor, teacher, consultant, and advocate of formal methods. "