PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Matthew Amy

Registered user since Thu 13 Nov 2014

Name:Matthew Amy
Bio:

Matthew Amy is an Assistant Professor in the School of Computing Science at Simon Fraser University. 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:Simon Fraser University
Research interests:Quantum computation, programming languages, formal methods

Contributions

Show activities from other conferences

PLDI 2024-profile
View general profile