Hey, my name is Sharjeel Khan. I am a fifth-year Computer Science Ph.D. student at Georgia Institute of Technology working with Dr. Santosh Pande . My research interests lie in programming languages, security, and compilers research. I am working on using program analysis to improve program verification techniques or solve security problems. Currently, I am working on using compiler analysis to improve program verification of properties in codebases.