Greg Meyer is a PhD student in the Physics Department at the University of California at Berkeley. His work centers on the (ostensibly) exponential cost of classically simulating quantum mechanics, from both analytic and numerical directions. Analytically, he studies the application of cryptography to the verification of quantum devices. In particular, he studies cryptographic "proofs of quantumness," black-box protocols through which a quantum prover can demonstrate their quantum capability to a skeptical classical verifier via only classical communication (with a focus on protocols for NISQ devices). On the numerical side, Greg works on the software implementation of highly parallelized high performance computing techniques for the simulation of many-body quantum systems.