Matt Amy is an Assistant Professor in Computing Science at Simon Fraser University in Canada. He received his BMath, MMath, and PhD degrees in Computer Science from the University of Waterloo, after which he held an Atlantic Association for Research in Mathematical Sciences (AARMS) postdoctoral fellowship in Mathematics at Dalhousie University. Matt has made several important contributions to the field of quantum circuit optimization through the phase polynomial method and associated algorithms, widely used in both academia and industry, as well as the development and application of formal methods to the verification of quantum software. Alongside his work in academia, Matt has spent time working in the quantum software industry at companies including Microsoft, Xanadu, and SoftwareQ, the latter at which he developed the industry-leading quantum compiler, staq, and now serves as head of quantum software.