Priyam Gupta is a fourth-year computer science student at Purdue University. As an undergrad, he has been involved with quantum education research and worked on procedural generation with quantum optimization with the Quantum Game Club. Currently, he is involved in research on gradual verification, a technique that combines static verification with dynamic checks to enable incremental specification and verification of code. He is interested in pursuing graduate studies, with a focus on programming languages and software engineering.