About Me

Hi, I'm Keshav and I am a PhD student in the VTQ group at Virginia Tech. I am very fortunate to be advised by Atul Mantri. I am broadly interested in quantum computation, cryptography, and computational complexity.

In my free time I compose music scores.

Github - Projects on PQC, MBQC.

Contact: first initial last name at vt dot edu

Research Focus

Proof of Quantumness and Verification.

My research explores foundational and practical questions at the heart of quantum computing — specifically, how we can verify that a quantum computation has been performed correctly, and what it even means for something to be “quantum.”

Verification of Quantum Computation: How can a classical verifier be convinced that a powerful quantum device performed a correct computation, especially when the verifier cannot efficiently simulate the device?
Proofs of Quantumness: These are protocols designed to certify the presence of quantum behavior — for instance, showing that a prover has access to quantum resources just by checking certain classical outputs.
Quantum Pseudorandomness: I also study pseudorandom quantum objects, such as pseudorandom unitaries, which play a central role in quantum cryptography, complexity theory, and randomness generation.