Hey, my name is Sharjeel Khan. I am a third-year Computer Science Ph.D. student at Georgia Institute of Technology working with Dr. Santosh Pande . My research interests lie in programming languages, compilers and security research. I am working on leveraging machine learning and deep learning algorithms for improving program analysis and program verification techniques. Currently, I am working on utilizing reinforcement learning for improving performance in SAT solvers and program debloating.
I am originally from Hyderabad, India, but I lived my entire childhood in the Middle East (Dubai then Doha). I did my undergraduate studies in Computer Science from Carnegie Mellon University. Before I started my Ph.D., I was a Research Assistant at Carnegie Mellon University working under Dr. Iliano Cervesato and Dr. Giselle Reis
In my free time, I learn about new tools to use in my side projects. Currently, I am just trying to add more functionalities to this website by adding a map of my travels and displaying my blog posts from Medium here. Other hobbies range from playing video games (currently Destiny) or board games (Red Dragon Inn), watching TV shows (currently Wandavision), reading manga (One Piece), or trying out new restaurants.
In addition, I love to travel to new countries and to meet new people. I have been to around 20+ countries and 40+ cities. My most recent trip was to Turkey when I backpacked through Istanbul, Ephesus, Cappadocia, and Pamukkale.