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
PLDI 2021-profile
View general profile
View general profile