Miles Gregory Tompkins, PEng

August 8, 1948  -  February 3, 2022