Full Name
Sharjeel Khan
Pronoun/s
He/Him/His
Job Title
PhD Student
Company/Affiliation
Georgia Tech/Google
Speaker Bio
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.
Speaking At
