Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference
Matthew Amy

Registered user since Thu 13 Nov 2014

Name: Matthew Amy

Bio: Matthew Amy is an AARMS postdoctoral fellow at Dalhousie University in Halifax, Canada. He received his doctorate from the Institute for Quantum Computing at the University of Waterloo, where he developed several circuit optimization and verification methods which are now in widespread use. His current research aims at improving the reliability of quantum programs by developing methods for programming certified, portable libraries of quantum code.

Country: Canada

Affiliation: Dalhousie University

Personal website: https://www.mathstat.dal.ca/~mamy/

GitHub: https://github.com/meamy

Research interests: Quantum computation, programming languages, formal methods

Contributions

PLanQC 2021 Chair in Program Committee within the PLanQC 2021-track
Committee Member in Organizing Committee within the PLanQC 2021-track
Show activities from other conferences

Using general profile